{"entities":{"Q6560182":{"pageid":14171337,"ns":120,"title":"Item:Q6560182","lastrevid":55692454,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560182","labels":{"en":{"language":"en","value":"Some extensions to propositional mean-value calculus: expressiveness and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869538"}},"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":"Q6560182$CE75C7A2-BFF5-4567-B58A-3B25550AC911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e83d2fba808c8abfdf3d64c80939b43e07a4cf3","datavalue":{"value":{"text":"Some extensions to propositional mean-value calculus: expressiveness and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560182$13A210C0-214B-4190-A4EE-92817AEA1C97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9386b993fcfb483e7ea169ab3e4c75bb5c370cdf","datavalue":{"value":"1540.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$F7346416-C983-405E-9E57-A75E514C6EB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71ba465e68def35756c0b954b922862b0e7ada38","datavalue":{"value":"10.1007/3-540-61377-3_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$A8D7E275-031E-42F9-9B1D-3A31D45C713E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$A067B693-45E8-417D-92DA-794CA7CC03EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560182$1257EFBF-0295-421D-BFDF-095E80DADE5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$A689F980-4FBA-4514-94DF-5CBDAC7F20CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$ADA1AF9F-B5C7-4FA3-B601-C1CC5DEF8900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$EDF906BE-D723-4040-B96B-A19253393373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a97ba0e808a2ce782c659b36835b9f24c8e98a07","datavalue":{"value":"7869538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560182$673AB633-5B4F-4E1F-B510-3E9D1F814C53","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":"Q6560182$B751CB8A-2157-44DC-97F4-019C54226406","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$A2A615D0-D009-47B7-943E-E666E26D67B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$491FB27D-D45C-4583-B2B9-F425DB2DEB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$F1AB910A-FA2B-4200-93A2-0F554FD3A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$019ACC6D-810D-4883-90F8-9F9A20915AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$AC04EC6D-62B2-4B4E-8515-158FB325423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$2C33B3A0-F99D-4CEB-A8CD-E937CFE55A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$4FAC48DF-24A6-4013-87E3-2B9644E20181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$B9329E1B-A0B6-4AB6-B39A-5671FF7AACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560182$C32DEB07-A518-4044-A9EC-125EC9D95A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376b207fb80cc865e0869ba6a9e730c2a502c024","datavalue":{"value":{"entity-type":"item","numeric-id":4247272,"id":"Q4247272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dff0c8df1001ea73e3595119b0e772e32dc3e83","datavalue":{"value":{"amount":"+0.7815600037574768","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":"Q6560182$CA2E038D-48EC-4FF2-A734-7F7DC540A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f06717a497c3d000393a6bf7cfb2f940851c658","datavalue":{"value":{"entity-type":"item","numeric-id":1288439,"id":"Q1288439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2269364f06791d60e89c399216b8e53b094019","datavalue":{"value":{"amount":"+0.7573484778404236","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":"Q6560182$F8733E1F-A293-4630-AF63-85FD60198B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edee5bb7be97188eee9c5616a994e197af0a67ea","datavalue":{"value":{"entity-type":"item","numeric-id":4222923,"id":"Q4222923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a281e5fe2c306010b933c719223da843ccdb1b","datavalue":{"value":{"amount":"+0.7571689486503601","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":"Q6560182$AA87B84E-5F1F-4DE7-8D8E-DE24A0B71DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bd7db9e961f7b1b570fb8ac654ba85805d9068","datavalue":{"value":{"amount":"+0.7415503859519958","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":"Q6560182$81F36DAC-C675-42DC-97BF-B5FE5A3B5BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950344ec4ca852d90e324520439bef557e3c290c","datavalue":{"value":{"entity-type":"item","numeric-id":3315481,"id":"Q3315481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59302dda814c0e64efddf3095019613f637d1c98","datavalue":{"value":{"amount":"+0.7348642349243164","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":"Q6560182$E1AF6380-FFD6-4663-AE74-7C485734C11A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560182"}}}}}