{"entities":{"Q3367323":{"pageid":3378027,"ns":120,"title":"Item:Q3367323","lastrevid":49771417,"modified":"2026-01-10T13:52:03Z","type":"item","id":"Q3367323","labels":{"en":{"language":"en","value":"What is the true algebra of first-order logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000983"}},"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":"Q3367323$4CC8D7B3-AA4C-4247-8265-E9935D4AAF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70674044fb563f8297fbd91192686d5a33b2ff7f","datavalue":{"value":"1097.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$D4B4A402-39A4-4099-BDE7-2EA1F2F95A19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6e6323a76251c50292471d4bbd0907fd41453aa","datavalue":{"value":{"entity-type":"item","numeric-id":175231,"id":"Q175231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3367323$BAE47A32-7477-4456-96F7-248B2A0F52A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa3947a1fb1635896f5c4ba355103966dc5bfb71","datavalue":{"value":{"time":"+2006-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3367323$575FE763-8896-4D01-87A6-62ED502E2CAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$9FB4C098-F305-4864-93C0-09DE7A1F51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$40E06945-D4CF-44F2-B24B-E70D976AA55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$2F7F5A19-BDF5-4228-AFFD-AF98339DF6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$E514D8FF-71FB-43BD-AAA1-7733046A7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$9F809450-701F-48BC-9E26-F5ED27CB5CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8819a5211b6963f77a89c2eed89930a497b5c978","datavalue":{"value":"5000983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367323$D6242560-06B8-42EC-99FD-426B23717679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f2eff44b82c1ed5af288a17ed52566f5a866384","datavalue":{"value":"Independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$627042D4-9478-4FAE-BD82-61B00B62ECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f5379ecfc18c6c97b7b095086d81c6fe68061d","datavalue":{"value":"closure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$DD7E7F31-1818-4910-A30C-5E450C3B0761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce269bbe443b7a7d01896e76a0bcd11c2ad7b9bb","datavalue":{"value":"topological Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$9BC39A8E-82C8-409A-A361-19E005CC3AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$5BCC11A1-B77D-463B-A9E6-16483106C46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$4FFC9535-3D7A-48C6-993F-57039983398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f400a023e8b9f92b2e92f8004dd5679fc62ae238","datavalue":{"value":"game-theoretical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367323$1052E725-ED6B-46EA-A4A8-EE86269979DC","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":"Q3367323$6D51BDD6-54DB-4D15-8790-DE65AA7795D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e02ec0c314313acf05ee15000bb628bf7bc8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3003832,"id":"Q3003832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc74aa950d705ceb5f9f6e1f508971b5b4c72955","datavalue":{"value":{"amount":"+0.7908488512039185","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":"Q3367323$65FC99F5-A27A-4F7B-8FDA-E5FC6B95E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81a45e168373a9af98cb46de3a98d34af86198","datavalue":{"value":{"entity-type":"item","numeric-id":4360863,"id":"Q4360863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6b464a97edc45b94b467b55be0c7d04c15fd81","datavalue":{"value":{"amount":"+0.7852469086647034","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":"Q3367323$70A10871-861A-464A-ADE7-6BAA638FE988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e58b736d93844ea3ff082da3529efafe1d112a1","datavalue":{"value":{"entity-type":"item","numeric-id":4369834,"id":"Q4369834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6b464a97edc45b94b467b55be0c7d04c15fd81","datavalue":{"value":{"amount":"+0.7852469086647034","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":"Q3367323$FC0FD956-36BA-4EDE-BD55-29A68A979264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc40762a8e7c6f2118a3bdd835b4aafcb44a3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3653147,"id":"Q3653147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b2611d9c6615476bbc00b7356c016c7844d4a0","datavalue":{"value":{"amount":"+0.7822606563568115","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":"Q3367323$51A9A163-9094-420C-9752-97D535772176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b45dea17a2042fb761a0a4e86edb0c6def9895e","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9aba759ba61c06bd8d3af53b41b6b3f3a154e17","datavalue":{"value":{"amount":"+0.7587013840675354","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":"Q3367323$BB6958FE-FCEC-411B-BD51-21C88A6144F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3367323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3367323"}}}}}