{"entities":{"Q2957959":{"pageid":2968678,"ns":120,"title":"Item:Q2957959","lastrevid":52732022,"modified":"2026-01-23T09:24:58Z","type":"item","id":"Q2957959","labels":{"en":{"language":"en","value":"Faulty Belnap computers and subsystems of FDE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679286"}},"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":"Q2957959$F1A64C4B-33BE-4DBA-B9C3-2957AF62B6A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc142e54da605c288dfc37939dfcc3093981498","datavalue":{"value":{"text":"Faulty Belnap computers and subsystems of FDE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957959$CA850F9E-7CDA-484A-8D5E-40E8E90BBB03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aac894d5676e50b109c771261e3d9590e4a0e4e1","datavalue":{"value":"1403.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$E1F74205-07E1-446C-ADFC-3A5DD6D39C0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a2d6f4a7605c1c9fe0882510c8d4d3306e4824a","datavalue":{"value":{"entity-type":"item","numeric-id":300561,"id":"Q300561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957959$BA1DB320-9314-4BA6-9FA8-EF13748461FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957959$756F150B-27BD-496B-A54C-818035025F11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$E1C6BB05-F2C4-479A-AD5E-3EB74257291E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$51905F73-A677-4B65-B99D-9D211B52274D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1f1434b829290a3659ea11c296c0f3702097d2a","datavalue":{"value":"6679286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$642F43A6-1F83-4607-A730-1492BC6E1440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ebadc55ecbc1e5ede68440d6a5eadf17105ed","datavalue":{"value":"analytic implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957959$2DC7F7D2-F5A2-4EB0-8279-9201206366A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957959$C8931ED5-E984-4991-AFE9-70DCE8E66265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399a978187ea863a6fc5fc0228c967ee811f4c38","datavalue":{"value":"analytic containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957959$5A400214-7F71-4C7A-9A4F-7BB68BA2710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957959$49E4A5E4-9AA6-4B1E-8CAE-582FE7E83EA0","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":"Q2957959$9232B807-A478-4D0A-BCFE-F7833BB96CB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c607c5704ebc8ffa6f8a666c637d0eb3a925298f","datavalue":{"value":"https://doi.org/10.1093/logcom/exu048","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957959$B8139AF1-F3B0-4881-A467-B77FA1F47CB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07758b48c102278dd9c98457da297151f78a2a02","datavalue":{"value":"W2033077109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$A10FDA90-1F69-425A-A98C-FB234B3F7A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af221270fa23991091c9a7a29516acfb13f6b6c3","datavalue":{"value":"10.1093/LOGCOM/EXU048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957959$D0682A10-9AE3-4E5E-AF7F-276361FCF66C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957959$537200CF-3A56-4374-98B4-9F00ACAE9BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e59cd142d5175dfa6a2755158ae82846b149f","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508713befd3b0dcdd69b0cca586987ed77eedf5d","datavalue":{"value":{"amount":"+0.746394157409668","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":"Q2957959$6B1A12D0-E2E6-4BD7-9ECB-C776A060880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7120cdee5eb8bf7425244a14c5ce507ab8d62ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7195eb06564148867ba46b5de2f9efe2a707a5a","datavalue":{"value":{"amount":"+0.7295703887939453","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":"Q2957959$79041F02-C1E7-4364-8EC6-7A16F33E353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129ba433866e5ba7d7aa688862ddfe96451ad675","datavalue":{"value":{"entity-type":"item","numeric-id":3305621,"id":"Q3305621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ea1e0c84293bba686db167ea43a5902620cdf0","datavalue":{"value":{"amount":"+0.7211599946022034","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":"Q2957959$74E5CB0D-CE62-42B9-8162-A383BA0E8C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4ca354cd776d0a8ed58d3d3e2643ec1146df1a","datavalue":{"value":{"entity-type":"item","numeric-id":1685563,"id":"Q1685563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527f3a6e36dbe37700cd63219d0e6383f127da29","datavalue":{"value":{"amount":"+0.7145879864692688","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":"Q2957959$9EF73C70-18A5-47C3-9177-3DDD2C822483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081b76975025f45709ecb9fd318a3e35a0733faa","datavalue":{"value":{"entity-type":"item","numeric-id":1876092,"id":"Q1876092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5875d3b3aeb64a67e5f50de4fda490e1a816acf","datavalue":{"value":{"amount":"+0.7129033803939819","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":"Q2957959$605C4486-942E-44AF-B4DD-7D4B9115F71E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957959"}}}}}