{"entities":{"Q3680246":{"pageid":5710152,"ns":120,"title":"Item:Q3680246","lastrevid":50055439,"modified":"2026-01-12T20:04:11Z","type":"item","id":"Q3680246","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902002"}},"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":"Q3680246$F7CF5931-76ED-4DB3-B7C0-9BB34C406E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1da703d8107c8bb53140d8a57cd73409b041964","datavalue":{"value":"0565.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680246$CAD99B29-EEC0-4D5D-88FA-C59ACAAD702A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680246$F5613480-EF2A-46C7-AD02-44C26365E049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3680246$D47442E1-4DAF-4C38-9F56-4E4C9A481625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680246$29D54212-57F4-476D-8F78-97525C2A0149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680246$EB369ABD-4312-4FF8-BDDE-0840EACE5782","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c67a1e9b0b3717a282203e8f3fa81ba087a2ecc7","datavalue":{"value":"3902002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680246$8A9FBC27-3D6D-4AA7-859F-B07063FF796C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$0BEC2DD4-09D0-4CDA-BCD2-A80D52488BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$F7F949B9-E09B-4A6A-A4D9-8C167DF600A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e7a459b64e246bd972fec8e1913928680d00ad","datavalue":{"value":"propositionally closed predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$8C261067-0BA7-4517-A55B-DA96501AEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eeea6dc5a4ef98d6cb84c43f7e6f5ca00533a25","datavalue":{"value":"partial-correctness theories of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$539522C2-DADD-446E-B706-D99080D93611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a971029e298d1b7a854a7c5ba0a50adead0e0e","datavalue":{"value":"Hoare semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$2C09B682-925F-4905-9FEF-CEEFD13D3A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe27e44c0c6a5cd4ed63282e6654a9fe075ceb6d","datavalue":{"value":"Strong Completeness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680246$86C09D4A-7DF1-4294-8EFA-8D8379B6408C","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":"Q3680246$FBC55018-5CCB-47DD-B7EB-B625482468C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c5d6df4222832ef5604805ef76eeed6f1084fb","datavalue":{"value":{"amount":"+0.7832977175712585","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":"Q3680246$347948F1-A9D4-4AE5-8344-F51F98E889B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b99bfba67f5d1c8f1d546fdcec8a5ee34d2e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3811698,"id":"Q3811698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b3b412a8496a720f69a913725ce946db4e3062","datavalue":{"value":{"amount":"+0.7403647303581238","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":"Q3680246$9D7D0B65-314B-437D-BFDC-20C50206BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc13e6a597413a12e610bbd48e1f459d509f3bd","datavalue":{"value":{"amount":"+0.7385607957839966","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":"Q3680246$BC3D071E-C52B-45CA-898D-5C59A5B1C178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f9eba15a9a2d6b7dc160788c18904a7486bff6","datavalue":{"value":{"amount":"+0.7325124144554138","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":"Q3680246$0068E54B-0F53-43EE-8DF3-89BB5B377209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51d449b561e5972dc302a7933e39dc7f517becb","datavalue":{"value":{"entity-type":"item","numeric-id":6171779,"id":"Q6171779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d031a755f84308d3d7ef6ad2837609aa35f43e","datavalue":{"value":{"amount":"+0.7291561961174011","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":"Q3680246$CEB480E1-F8ED-4BAA-ABAB-971712A5CEE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3680246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3680246"}}}}}