{"entities":{"Q2843328":{"pageid":2854048,"ns":120,"title":"Item:Q2843328","lastrevid":51798683,"modified":"2026-01-20T02:32:00Z","type":"item","id":"Q2843328","labels":{"en":{"language":"en","value":"Henkin quantifiers and Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197750"}},"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":"Q2843328$76F11434-CA53-4F61-9442-BA18327D6BD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e9ffb725dac1a242eff679c4822483e9552c53","datavalue":{"value":{"text":"Henkin Quantifiers and Boolean Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843328$301C6837-5CD3-49A8-BB38-1922EDA9139A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0427f18875e9ee96528b67e923644206735129","datavalue":{"value":"1273.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$B5830A93-BBC5-4EC9-A81D-D11CEEF44BEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7984f9987522bb3441e3683ed18b022c392b51ba","datavalue":{"value":"10.1007/978-3-642-31612-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$2959379C-DEFF-4B3F-A220-79EB5F3348A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7495e672eeead3ba3821a3bba0a517b273c0b76","datavalue":{"value":{"entity-type":"item","numeric-id":2435312,"id":"Q2435312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843328$B7F7EA9C-AA85-4443-BC20-B61BC80CE0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3d4dd0391e2bccd522e93c61c2807823417045","datavalue":{"value":{"entity-type":"item","numeric-id":2435313,"id":"Q2435313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843328$E496541B-A7BD-41A0-BE13-4153111DF498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843328$63E3B2D5-5C51-463A-9ED6-C45F6324B5C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843328$D52073A6-7016-4210-B1D3-C7AE770FF71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843328$7AFA4EB8-3EE5-4F1B-9E6E-655C2FB42218","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$CFEE933F-0D66-46D0-A720-2706E50FEDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$6110A996-0833-4311-BAB6-FF042ADFA95C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68234779c5e996479d582390d1d597797db588cc","datavalue":{"value":"6197750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$F68E9BD2-E2DF-487C-B345-B7A7C93396B0","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":"Q2843328$9143A97E-C195-42D3-9B2B-78AC6B41C943","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f768c4d0da0ab1959d318177132bfd353aad274","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843328$C016B0F5-372F-45A1-BCF0-7549073168F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a744b86972f6c0ee84a10271047570d2029075e8","datavalue":{"value":"W1930344573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843328$B7ADAB3F-BF0E-47EF-B5E0-F78266E72ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6faf0a10ebac71dec9e2a37741b5ded2bec96e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2435315,"id":"Q2435315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f85b1ec7a0509b9e5708e70b69a3c68708af4f","datavalue":{"value":{"amount":"+0.967967689037323","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":"Q2843328$0C5CCED6-B4F8-4470-A60C-E49C1A7A7F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49abb2745b7914bbd7c443b9b3e6dff89be81154","datavalue":{"value":{"amount":"+0.8097352981567383","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":"Q2843328$869E3980-4DC7-4B35-9CD8-C43A3D4926C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9aa680dc4f44792b30be32d020eda9bb914d9c","datavalue":{"value":{"amount":"+0.8042939305305481","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":"Q2843328$A79D0409-2E77-4687-A6E9-B243C202FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02175fb500ea3d6067b7d28b727bb32abdd3787","datavalue":{"value":{"entity-type":"item","numeric-id":3192073,"id":"Q3192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b35780c439dda2edf6635bdfc39c499fda7da6c","datavalue":{"value":{"amount":"+0.7979364991188049","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":"Q2843328$550F4D63-1D1E-42B6-89E8-AC281077611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c302174dc4413764cc10741d23a3d5bfa4a52115","datavalue":{"value":{"entity-type":"item","numeric-id":2148900,"id":"Q2148900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ba92750ef33b84e0b8bb2f2648cca5ab448fe","datavalue":{"value":{"amount":"+0.7717084884643555","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":"Q2843328$FFABB704-759F-4DE4-A375-45F43251D0CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843328"}}}}}