{"entities":{"Q3793703":{"pageid":5823609,"ns":120,"title":"Item:Q3793703","lastrevid":52826366,"modified":"2026-01-23T14:24:26Z","type":"item","id":"Q3793703","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058826"}},"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":"Q3793703$1EC059F9-292B-4D25-8F39-64D3E7572BF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"992a586679fb4950024030a993f4a5ba3c73b822","datavalue":{"value":"0648.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793703$DFFBD464-FD18-400D-A495-9E9577C24C23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793703$F6BF2E37-C773-4C32-9EE0-2FC4FAE0E9C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3793703$0A232564-2F51-4F67-AA38-A8D2276D0A10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793703$5A34ADD2-FA92-4FAA-B760-216F894DCA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793703$E1995BCC-BA9D-46C4-AEE8-6657634CD828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d958799a6daab32611156fe10ef5f990ef43d57","datavalue":{"value":"4058826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793703$B688CCCE-5FE3-4462-BEC1-7F98028B9433","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ec080dc6a5599c803d2f341b6571a297182fb8","datavalue":{"value":"axiomatic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793703$6981C14B-964F-40A7-99A7-F0DBAAD8CE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2655f162eaf90bee825d504f64c92004c2c0e2","datavalue":{"value":"reasoning about program behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793703$F1F462DE-4CB4-4CB7-8A88-5A10F06A3923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229cdfb29d79b8e6db6f07fd77f15375a2b4f396","datavalue":{"value":"while- programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793703$0183EA02-1C64-4A95-9926-8FEC48CF819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8eab91a064dcf1649ad1573273b2cf0f55e56ef","datavalue":{"value":"semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793703$59252DB4-478A-4879-9573-960B829FC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d0dc30f93bb842ef5675687124a096b895745b","datavalue":{"value":"assertion language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793703$96B78B49-AB34-47AD-8514-1B3D6B278474","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":"Q3793703$3B81ED8C-6699-4536-A863-06864041B71D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689bc8b479d79c932503ecb4895773a51b2f1acb","datavalue":{"value":{"amount":"+0.83799809217453","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":"Q3793703$A093155B-51F2-4317-9404-04880F12117D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dfa17040c705420c2b156bf9fc17fdc2a3345f","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e856e289356fc66ec8e3ff1ec6a8952bc1fcb96","datavalue":{"value":{"amount":"+0.8184221386909485","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":"Q3793703$F39F08F2-075A-4972-8B56-85592AA5515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5309624dc25a0f3f82ffc5a9426f9b540185de72","datavalue":{"value":{"amount":"+0.8152471780776978","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":"Q3793703$1F0D7D33-8E67-41D0-9649-14B48E10D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb9b25b44e740b53a87912edfaab35a208e9f81","datavalue":{"value":{"amount":"+0.7805150747299194","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":"Q3793703$4942A278-8E1F-4A03-BEC5-D81D457230B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65a7a6bef1bd7ab2fe9514ee3c9a3724ba8a113","datavalue":{"value":{"entity-type":"item","numeric-id":1317433,"id":"Q1317433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202b7a0057b4121a4153be470074ddd3c57da702","datavalue":{"value":{"amount":"+0.7804306745529175","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":"Q3793703$F7C492D9-6E5C-4B30-80DE-0A62C34B4E0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3793703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3793703"}}}}}