{"entities":{"Q3783508":{"pageid":5813414,"ns":120,"title":"Item:Q3783508","lastrevid":52536086,"modified":"2026-01-22T22:00:06Z","type":"item","id":"Q3783508","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047047"}},"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":"Q3783508$4EC9220E-6220-4C2B-90ED-C7A73A3ECFFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0709e87b404f0406c3234f4f5f58910efdc0f4a8","datavalue":{"value":"0642.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$47EF54D5-A391-401D-8C65-41D3BA096768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3783508$A6793718-75F4-4A26-AB10-B20FDF2902FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$EFCAD318-DF1C-46D6-8674-B5EB2E80A3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$F4FFD474-3637-407B-8C3E-1BACC8E7886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$3473C4C9-E573-4447-9E83-625E1BDC00FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$A86B4259-E401-4F36-B9EE-DCF8D4C99D41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f024546277642f407a1c5e85b6fad610d45a7721","datavalue":{"value":"4047047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783508$818A6BA3-427A-48B9-8242-5CE6C28F051E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$9ED5C678-4D3D-4C85-B39C-5FD89F4EE345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15fae57ef2ee6b9e873b95ccec0de13f05e7b861","datavalue":{"value":"program tracing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$08D225B7-DEF4-445A-8C99-D04AB774107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$FBA6867E-21B5-4B09-9281-A9C83E09EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa14a037801f0a556695ae8cc623c1b160de651a","datavalue":{"value":"liberal preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$637D7DC6-69EB-452B-AC87-3B5267D75F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3caba75974bddd75ade291a3dc126ae2cfea1b33","datavalue":{"value":"category of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$57FD893D-2A19-4B96-AE1C-5A9399ADD237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$E6A485D2-6753-447B-9142-092D0D89B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3ec5972ec6d1ac9282b92e8745281ba2c745c2","datavalue":{"value":"multifunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$6A97C921-CE1D-4821-80A2-D1EB7730A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a202fc1065c0ed8cb1361bbb5d0192a0f6a132d","datavalue":{"value":"control categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$F15A1959-9D20-4379-B119-8CD0F842580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd7fb667f6bb203c6ab48c01db55d09bd7e768c","datavalue":{"value":"deterministic morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$8D711D54-4DAB-47ED-B021-521EB71BA286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa51600b438e6f4ff1f5e3b00b5f2f1b3bc22b38","datavalue":{"value":"axiomatic foundation of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783508$9B09E5E5-544D-4AD6-88DF-1B90A83EAAE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783508$9863952D-B1E7-41AD-94F5-98680931F432","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":"Q3783508$2276C2AE-1B67-43FB-9630-402B60AA83DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33658560c05ad084657f028c5b27ca0e50a4c08","datavalue":{"value":{"amount":"+0.8471322655677795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3783508$C2692DDF-78E1-46BB-99A0-3DE077A4DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555b29fc6ed05212c1da07dcdfafb6544782870b","datavalue":{"value":{"entity-type":"item","numeric-id":5058365,"id":"Q5058365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e186c9028079365455d975c0fe556f6176b5821f","datavalue":{"value":{"amount":"+0.78204745054245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3783508$3D5025E9-F5FF-410D-984D-55ECF0ADB7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed79a8a3a12b6c6ae0aa4c8480186364a76f503","datavalue":{"value":{"entity-type":"item","numeric-id":1093363,"id":"Q1093363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5d34bb8b6ae45158ef6dc664a95c4b896b380","datavalue":{"value":{"amount":"+0.769742488861084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3783508$FAE12AA4-9A91-4C51-AEF6-E2890419CB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527587a1ff474d835d5707030072688b1eed0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9e878e0ae8bf54d429c92fa15d014cf3eb6dcf","datavalue":{"value":{"amount":"+0.7517091631889343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3783508$46E0BEE8-C65A-46E3-9364-991D17183D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcb65e092eb5ae6f63b5fa479f6942638d55972","datavalue":{"value":{"entity-type":"item","numeric-id":2757831,"id":"Q2757831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f143ba86e300a39439478d6c7bf9a0830a6ef6a8","datavalue":{"value":{"amount":"+0.7480216026306152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3783508$46667200-7CB7-4526-B567-576CEC526F15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783508"}}}}}