{"entities":{"Q6132577":{"pageid":13266884,"ns":120,"title":"Item:Q6132577","lastrevid":94118999,"modified":"2026-06-05T05:55:20Z","type":"item","id":"Q6132577","labels":{"en":{"language":"en","value":"A new dimension of imperative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728694"}},"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":"Q6132577$C18FB7AD-CB69-45C6-BA30-AF2C7E379C34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a42cf1211f31210b1ce9d382ca25f83fd54c6a72","datavalue":{"value":{"text":"A new dimension of imperative logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132577$E775D344-C9E1-42FB-87D2-51017803582C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a559269a35286ad30cd04b79fbf9bd6369c4ef6a","datavalue":{"value":"10.1007/978-3-031-26689-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132577$72C62FE5-AE77-4DFD-806A-7CDB58E335D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2c4abcc5b8b5a0c023d391d3a02053f1a58a6b","datavalue":{"value":{"entity-type":"item","numeric-id":6132575,"id":"Q6132575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$6E45E32E-4D5C-4A38-9A0B-FD15DF44C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e413b27bd96e5fd505a04cb0c63a883bd4fc5c9e","datavalue":{"value":{"entity-type":"item","numeric-id":6132576,"id":"Q6132576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$6E75E7CC-D423-4DCE-B30E-036F45F22F15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$87FBC96D-4A5A-44BA-B582-70F0AA72F194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132577$D8281954-8A7C-4199-AC4F-7DE44A7B55B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132577$284D088E-7CB2-4859-B38F-12617B76A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132577$173837E9-EC34-4E64-8F9A-6C991CFE29F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7fc7f31206997aa53e2c6751471ab2b4d382c64","datavalue":{"value":"7728694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132577$A1FE1843-DF3D-41B7-927F-60F8056F0BB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a540231d2fd664610dde833b88cd3faf3c6b1b","datavalue":{"value":"imperative","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132577$9D0F0BF1-B5D3-47A9-9B8D-782816B81ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4bcaa7445bec056c59ce6aaf9a1f2114fd968","datavalue":{"value":"advice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132577$087F1ADC-A65D-4006-9460-ED52B5CB2D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541b39cd6695a5045baf1e8118a233fa4ef6fcf4","datavalue":{"value":"prayer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132577$1D28F7C9-0AE1-4B1C-BF00-CF997D9EC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e21f474174e2a708f1ac3aaa08fa4ab9bff343","datavalue":{"value":"acceptance-table","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132577$24AD3600-24CF-4987-8300-F6BFE7E938D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132577$77269710-9626-4225-897D-E005EEC4F27D","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":"Q6132577$324FF75B-D0C8-473E-A30A-D2C4DE4C908B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8848e19e64111fe634522d680190e37093e43a93","datavalue":{"value":{"entity-type":"item","numeric-id":5275766,"id":"Q5275766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$284097D1-27E1-44EE-9CE9-4DFECE83E945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d4b85073325ae0a46d1c77f7effdc38d778b2e","datavalue":{"value":{"entity-type":"item","numeric-id":848212,"id":"Q848212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$E848EC3D-657D-43B6-A2DA-2B3233FFB526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7671417015be552d6ed7aa448ba6efc5e4ec52be","datavalue":{"value":{"entity-type":"item","numeric-id":513983,"id":"Q513983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132577$848DBFBD-895A-4FE0-8068-23CAAB51A2A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708733dfa03ac2e3141e4ca3e83855edd480631b","datavalue":{"value":{"entity-type":"item","numeric-id":923063,"id":"Q923063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b64bf4808ac46dfe60402fd90f0760c7627d02","datavalue":{"value":{"amount":"+0.798656165599823","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":"Q6132577$6287EEEF-6F31-4F5A-943D-0615ADB32D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee4b7e47522603e52e19bbe7b7f09e781d8fae3","datavalue":{"value":{"entity-type":"item","numeric-id":5275766,"id":"Q5275766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de899d3e7fe3348b5f40b7caac8875aa032f2a93","datavalue":{"value":{"amount":"+0.7696775794029236","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":"Q6132577$97BA713A-1D7B-4F5F-8420-212B02D92D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060a070c3d7da8f701931eb92b4bf4ce34058a70","datavalue":{"value":{"entity-type":"item","numeric-id":5271377,"id":"Q5271377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d9801c0f03c12e57f5900f4e4bef67bcc62465","datavalue":{"value":{"amount":"+0.76701420545578","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":"Q6132577$0E5273CF-4499-42A1-B0F1-B0008676B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82decae4634e8b30b705809728b44e52a03fd6a","datavalue":{"value":{"entity-type":"item","numeric-id":484191,"id":"Q484191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270c20118d40540207be1df108e4fc021c993a54","datavalue":{"value":{"amount":"+0.7538232803344727","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":"Q6132577$20DD6FA6-C38E-4749-AD74-40D6643332E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d647b47acea877aba8235df7db13b38570a4060","datavalue":{"value":{"entity-type":"item","numeric-id":598542,"id":"Q598542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b4716844aa1f6879b0116f64a538302198324f","datavalue":{"value":{"amount":"+0.7528615593910217","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":"Q6132577$8507F1F4-3F49-4378-A08D-3B37169B2451","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new dimension of imperative logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_dimension_of_imperative_logic"}}}}}