{"entities":{"Q4582006":{"pageid":6611591,"ns":120,"title":"Item:Q4582006","lastrevid":53177375,"modified":"2026-01-24T09:45:47Z","type":"item","id":"Q4582006","labels":{"en":{"language":"en","value":"A first course in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921774"}},"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":"Q4582006$135206B2-0697-4769-A9E3-6D890CF148BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e4dbe05b0be130f2f0cec63e59e0c07a2a82c8b","datavalue":{"value":"1457.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$C851DE9D-EC05-455D-9992-E8CAA057A306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4582006$883FC1CD-673E-4F66-9605-FEBDFFC2E5ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d108ef826d3184bcc969d7bea0fb128b273477e9","datavalue":{"value":{"time":"+2018-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4582006$9CB1A23C-0984-4212-9D05-BBC632033BFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b9ddbd66e5c1075de0042c7d930d00aa8629a2","datavalue":{"value":"https://www.taylorfrancis.com/books/9780815386650","type":"string"},"datatype":"url"},"type":"statement","id":"Q4582006$402CA299-FCD5-4153-990D-A799E03D9AAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$EA3B5303-62DC-432F-96FA-9EB414632FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$CC774270-205A-4CD0-A716-83A1B9CBD23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$8BCAAB80-DAB6-4A53-AC31-D0B45A942BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$5D71D33D-9A3F-43D9-B28B-661AA99768F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5c8e4a900effda87673d2c58d160e991dc26fb7","datavalue":{"value":"6921774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582006$3629EB13-9718-43BC-9346-9A685C9D3380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$18C485F7-98D8-4EC1-BB33-9C4163B3EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$C8E9CCA0-1AD0-497F-9661-5E0E0B93CC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$254119D5-CA5A-4482-85FF-D1878FE3E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595a1e75b49a7c35cfd3caaaff3a4e298be5d31b","datavalue":{"value":"proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$34FBA295-B7A0-42D1-9BF6-A886A73CA705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$25C84D0B-0E25-4490-9CD4-4A300BE4646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aad4205c108ab5f9ff6254b400e42c24c6d1e76","datavalue":{"value":"P = NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$827302D0-CF77-4E49-A87B-6AFDD5EB2DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$38DD583D-3619-4FA1-9C35-C873095BEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$EBBFC87D-FC6E-4469-9540-79A2ECBCB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456ccc6b43a5d92633deccc3da8ea7179af9f020","datavalue":{"value":"combinatorial circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$59D2C6E2-D171-4D75-A72D-7984F71C1C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62874cb35c66f10ce536d5b14e836e65cec0f2b","datavalue":{"value":"sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4582006$47FF2F2D-FD01-4C42-B9C9-6ECF8CFE2130","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":"Q4582006$F55A1748-A75A-4672-841C-0B330CA130FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e91a817f7031d039e5fff34848c4f48eedfbfa4","datavalue":{"value":{"entity-type":"item","numeric-id":3444707,"id":"Q3444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0aa508c210d082bf2076536384687e3095376d8","datavalue":{"value":{"amount":"+0.8375964164733887","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":"Q4582006$E7D624B1-9749-45A1-8383-35C0564BA2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801ab2903379c951f8febe23642dd70016e3bc62","datavalue":{"value":{"entity-type":"item","numeric-id":3137311,"id":"Q3137311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ee20d53bd713950446026f8c90b9ad22548cfe","datavalue":{"value":{"amount":"+0.8289439678192139","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":"Q4582006$3072DABD-3822-4AAE-93C6-5FA01C3806F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff624eb039ce9484e8d4dbbbe24c016411c82f30","datavalue":{"value":{"entity-type":"item","numeric-id":3092751,"id":"Q3092751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ee20d53bd713950446026f8c90b9ad22548cfe","datavalue":{"value":{"amount":"+0.8289439678192139","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":"Q4582006$CE83AB49-3997-4E89-9FEC-7847718C4DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc49982ecf8ffefd3149f96cdf9fa2500f628262","datavalue":{"value":{"entity-type":"item","numeric-id":5434189,"id":"Q5434189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f345fa34d201a874e43eb5a5d00e2ec297fcf58a","datavalue":{"value":{"amount":"+0.8226722478866577","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":"Q4582006$E8A76CF4-2F75-4198-A258-B4E971BBF92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93724a8dcfd74b67b3eed65dd1797e8f8f3ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":4039934,"id":"Q4039934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fef6254fd6072481be950afb10eb1d44da46954","datavalue":{"value":{"amount":"+0.8226361274719238","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":"Q4582006$1B9EE5E4-6DFC-4ADF-B0A8-A5AD8DA0FC64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4582006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4582006"}}}}}