{"entities":{"Q3673097":{"pageid":5703003,"ns":120,"title":"Item:Q3673097","lastrevid":49982068,"modified":"2026-01-12T11:18:54Z","type":"item","id":"Q3673097","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827195"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673097$AC972CAE-E584-4CBA-8036-F8A09FCE8B71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7777bb6e2bcac11b62c187f2310368f0aaa029b3","datavalue":{"value":"0522.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673097$19997AFF-172B-4689-B52C-07820A46966C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673097$145500F4-5B78-48F6-9A38-0564113AB3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"444480782599e904230ecf9f63e18064f97d7ba3","datavalue":{"value":{"entity-type":"item","numeric-id":3673096,"id":"Q3673096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673097$4F982AB3-5FD1-4436-9526-DA26AEED3689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3673097$FE190DA6-2BD8-4D6B-8762-9AB14D419F0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673097$32B30979-C832-40A1-AA79-BB71C9529760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673097$A1E61363-A550-4ABF-B355-1EA7700AC0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673097$78B6D8E9-29C9-40A7-BD1A-38A958695EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab81eca29233aeb344f7f089e698f21d2e54207f","datavalue":{"value":"3827195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673097$A9D9F61A-8355-42DE-9C74-1A8824A39DDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687a66dd1f37dede82fc89349c2c0a4d432364f3","datavalue":{"value":"intermittent assertion method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$F47CB103-FBF8-4D67-9919-0AF66B71733C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8d53cd5caf61ac7b9056a567842fd3f2146059","datavalue":{"value":"fragment of temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$5441E7C0-A79B-4415-8F2D-DF27F1AF157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$B64D3542-D2AF-47FC-9D52-663AC7242804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430f403100d8b973e4347af6c60d488292fc7d4","datavalue":{"value":"while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$0CD0B88D-0C03-42F4-8ED5-918B12FC0D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$E5905CF6-D351-4A99-8FC9-BC266EBCE4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$3A7B003F-B30A-41B6-A996-60684028C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$C801281F-D3B6-4AF5-A378-D7110EA3B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673097$4A6D2FCE-35E9-45FF-A20E-55FCF956BF70","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673097$BDD1255B-8471-433F-B6FA-398D3BB9E6A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673097"}}}}}