{"entities":{"Q2946640":{"pageid":2957360,"ns":120,"title":"Item:Q2946640","lastrevid":58062813,"modified":"2026-04-03T16:02:58Z","type":"item","id":"Q2946640","labels":{"en":{"language":"en","value":"Proposition algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483146"}},"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":"Q2946640$DF5CBA0E-FC0D-4363-9333-DD1E9E236CDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41eaaed18872b31884aa337a0f24a77d03baef75","datavalue":{"value":{"text":"Proposition algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946640$D30CC83A-411D-48F4-A94E-2AD0FF562AFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4135553d3e57ddab8c8eec8e04bbb0b36f8e23f7","datavalue":{"value":"1352.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$DA015D6A-3E36-4DAB-96CF-53C344815688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3e3d8f0fdd67839c504f932d229a4ff25438c92","datavalue":{"value":"10.1145/1929954.1929958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$0C041DF1-73FB-41CC-B099-F64DC64953CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946640$0B56CFB9-0F9F-4EF4-B92E-284B4A8086A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946640$A3F36E73-C495-4B67-8D55-EAADC13DA25F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946640$DE636CF6-2E9D-4EB4-AB85-5E3DA60C04BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946640$FD2E4075-A294-4F34-BB69-1333288B91ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4594327343d8723276b2dfb965b46a9fcf8dfbfa","datavalue":{"value":"https://arxiv.org/abs/0807.3648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946640$27BFC11B-13A8-4C33-9983-E578D5933691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$923659BE-27F8-435E-AC04-29B9AC4E7505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$A433C56D-6F86-4C2E-A873-B8DF284D5C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$77DF32F4-F925-4B84-8002-D98B291B7A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4f619d4f3e2d0d2ab659c406661af95b6fdeb0","datavalue":{"value":"6483146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$A4AB23B7-4CF8-4606-9AA6-2D2C96A6C999","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43976fd38afdb40c4983496d0798b11318f0f852","datavalue":{"value":"conditional composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$E24F5090-0873-4442-8A62-560124BD4B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c63e71298bb2158245d4e65d0d887642e7937f9","datavalue":{"value":"propositional statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$ECED35D0-FFE6-42F5-8657-3C70B6089904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a15091cd7e9e3afcb86b1c33940eb033237459","datavalue":{"value":"reactive valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$1390CA0D-B43A-459C-8B55-B9A6159E5902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$F92C1A38-EFFC-4E3D-82AB-896B50C88E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd4c56bfbb7cad09288f44d4fd69d2239cefae0","datavalue":{"value":"sequential connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$34D3FDE8-10C1-4F8A-AE5F-2455A4916B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf666add3e3bec5fada9c8d8bb3a06a07354729","datavalue":{"value":"short-circuit evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$97307852-8AF3-459B-8DD2-23ED5729DC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb930fb9a4b4a4d50c2c8565f744a5c71042408","datavalue":{"value":"side effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946640$52685BB8-CE75-4BBA-8BB5-BB5A5BA74898","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":"Q2946640$C7B78BE5-2051-4650-9BF3-74FC592B366B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04d5fa06693280bc8fd6e9bbf22d9fac3bf59f29","datavalue":{"value":"W3105499720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946640$EC5A2A1E-C29D-43C4-8F5E-AB25329501AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b871c3e98715e6e675abbc581dc51e5d81f0e935","datavalue":{"value":{"entity-type":"item","numeric-id":3772177,"id":"Q3772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb19a436551502dda62acc9f1e5fc13a824394a","datavalue":{"value":{"amount":"+0.91339755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$DF06BF79-C430-4D9A-A518-D046D8A1BB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bef421d98ee9f735b7647c8df54a254d2eb0bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2894547,"id":"Q2894547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06b7bc00347e029b200259214a6858300639d8c","datavalue":{"value":{"amount":"+0.8982961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$E94003D7-5637-4692-B3AC-A9FC7FBCAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d686c78710c35fb6bf7f3f575cbb0884931aa","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee66959302c03bbcb1777ad274f3130cf6ba2846","datavalue":{"value":{"amount":"+0.89632756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$64237965-BCD0-4F32-810A-AF5A3401FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d1340bd1d412900a173cb58d2895fe49ae516","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf1ff466fadcf32ebb7de0dd3559db5ba38ecce","datavalue":{"value":{"amount":"+0.8954524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$C266C635-C0EB-4D6F-88BB-F06B7D54CA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a219fd9f28e75d3f29cbd91312504c28285414f","datavalue":{"value":{"entity-type":"item","numeric-id":4856969,"id":"Q4856969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c15de8c511dd4763909cc173e86b4cbd013db43","datavalue":{"value":{"amount":"+0.88470817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$256D2D04-9878-4ECF-B269-4FC5A3BC8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b844841575d6fd6ef88e8a334ed0f4403f614895","datavalue":{"value":{"entity-type":"item","numeric-id":3360832,"id":"Q3360832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d6594d4fa3f6365328dc190d64ec6ab2bd736f","datavalue":{"value":{"amount":"+0.88467705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$AEFE89E3-D4DB-433E-8C19-A884BC8A7768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe87d805ab54c20a83a8caf8a114ef5d2fc1d955","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdbf1920a6878031e36d75fbec79f10279046fa","datavalue":{"value":{"amount":"+0.8845034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$714E5151-9C17-41A6-959A-44CCC280E978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74312a9286c61f2f02ac361e7d665437b372100c","datavalue":{"value":{"entity-type":"item","numeric-id":4789455,"id":"Q4789455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb1b7fb44fc4078ef8cdfdb3f90b2c46d6b630c","datavalue":{"value":{"amount":"+0.88292664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$E0934043-9216-40A6-A5E7-66A6DF3E4A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b6f164f32e1d2843277685991843cdbbe98ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57438491e52da898e39d64f837d1e6493481c62","datavalue":{"value":{"amount":"+0.88292646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946640$165699BE-0E8A-41A3-A44B-B2B09DCC8C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946640"}}}}}