{"entities":{"Q3791123":{"pageid":5821029,"ns":120,"title":"Item:Q3791123","lastrevid":52894796,"modified":"2026-01-23T18:11:37Z","type":"item","id":"Q3791123","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055578"}},"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":"Q3791123$7A201EE3-4184-4730-82C7-2BE604D6183B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bcf6fa65d28fc5ed2357b569aefddc457d41d3e","datavalue":{"value":"0647.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$127357A3-5171-4EF9-BDFD-2AC0090A070E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791123$B83BC97F-D3FB-4403-9744-0FDF86347B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791123$396A00CB-6560-4120-AA29-9E6826DE05D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3791123$32B9E232-C868-4445-B5A5-459CD12A1207","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$D7914FAB-1C90-4B5A-842D-18E74922053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$80B7D51F-3A57-4D40-A41B-4B2490114A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$B5BE8624-30F4-49FD-9463-C0F6029B8FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$25271C68-612A-497E-813E-B2354AB2DEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$C9D959EA-46AB-4085-8678-5331EB767BF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5de40a93b1cbb201a612329cf3c0f6f31b5f333a","datavalue":{"value":"4055578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791123$4504129F-A69F-4B28-8E85-F8F9CC9CD3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d0ef42dfebc4a31708b4057274fc2257311c14","datavalue":{"value":"existential fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791123$D89F1196-9BE6-49B7-BCD8-3308CBCE8376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791123$AAF6A14A-6B4C-472A-AABF-0DE3C033A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791123$AED5D440-B153-48E5-839D-3478D9EC24C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bc8a349b69c91bbfd61d1bf8345df61bc3abf68","datavalue":{"value":"polynomial time complexity class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791123$3737E505-EA41-471D-B406-1793A466F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791123$1DA54C8B-37DE-4E2B-9140-3787B25E9443","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":"Q3791123$A8AAB772-FD39-4866-9C76-28C8D9160CEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db591a2a748b6561a086fe755225175e85fdc614","datavalue":{"value":{"entity-type":"item","numeric-id":4340419,"id":"Q4340419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2b7e6f4b5341ff25d8ca22c587671479a64d8f","datavalue":{"value":{"amount":"+0.7980954647064209","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":"Q3791123$7C1D68D2-74A4-4E4E-9D78-E2CD3583FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb8b5764c9c105db866a3c236599c6a69c93a31","datavalue":{"value":{"entity-type":"item","numeric-id":2947165,"id":"Q2947165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de087189b91569af6242ef3a6f7983dfb1030241","datavalue":{"value":{"amount":"+0.7973040342330933","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":"Q3791123$C92BFABD-F87F-4A74-9BA5-D9DB2EA135FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15769970d02960fc833e12faf567aa7446ea94f6","datavalue":{"value":{"entity-type":"item","numeric-id":5483318,"id":"Q5483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2b60b9f8ea89b81ede362a2a0e25ffef196a89","datavalue":{"value":{"amount":"+0.7864723205566406","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":"Q3791123$BD3A223A-FD8F-422A-8EAB-B92979C1424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38e076abb596274a667870fa2e2ce89d226d25e","datavalue":{"value":{"entity-type":"item","numeric-id":4276180,"id":"Q4276180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262fc12fe64b128738c18f16a6fee101feb105c","datavalue":{"value":{"amount":"+0.7743592858314514","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":"Q3791123$55700543-938E-470E-93A1-EF8F97595EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cfc5797e43083eee9f22946acc05b076e9831c","datavalue":{"value":{"amount":"+0.7715356945991516","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":"Q3791123$75CB0D05-A1E7-4F0E-80F4-C746D8939BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3791123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3791123"}}}}}