{"entities":{"Q3871898":{"pageid":5901803,"ns":120,"title":"Item:Q3871898","lastrevid":54582248,"modified":"2026-01-28T21:54:45Z","type":"item","id":"Q3871898","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3675288"}},"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":"Q3871898$CD67718B-B978-4BF9-927F-9AE1F9024829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6b41282b63aa1f518aae4298f601eb3f22fd764","datavalue":{"value":"0433.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871898$15F480FE-EAA0-4022-8420-FF2016C23236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871898$65DB0045-99FD-4409-B1D4-DDEB5594E19A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3871898$08D21AA8-B134-441B-ADD1-754756B1BD6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871898$FF8FB3EC-1502-4FD1-B242-610CE1493173","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4a1fb7a5f2745ddc34d2c0845cbf81b36b4dda","datavalue":{"value":"3675288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871898$B2D3D031-72DF-43B7-9855-B5BC0CB758BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$E8086FE7-BF3B-4B4F-BDB6-0A86C3BD5FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$FC5EBF80-DB65-40DC-9DAC-5DEDB2587D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$0A2E7458-6E88-46EA-91B0-4E901067A93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$EE951B75-04B2-46F7-BDB7-91070857726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$42F4A286-1BBB-47D2-B60D-60101D06EC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$9252D37D-C18D-4373-B441-4F32D587465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5801f6cbd876d93fd48fb61dfee4176866b824b","datavalue":{"value":"strongest postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871898$DB0528A2-8516-454E-A1B0-30ACB3648EC1","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":"Q3871898$85649290-E266-470F-8362-2C75505AF0DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3871898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3871898"}}}}}