{"entities":{"Q5434189":{"pageid":7463753,"ns":120,"title":"Item:Q5434189","lastrevid":92320610,"modified":"2026-06-05T01:25:42Z","type":"item","id":"Q5434189","labels":{"en":{"language":"en","value":"Elementary logic. For software development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223082"}},"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":"Q5434189$8A4AC3D6-6A9B-4DE8-AE2E-BB7CA0C4E729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3a7f017cb871a33ae59fab5bc1be831059512b3","datavalue":{"value":"1166.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$87493F96-C0C6-428F-8137-86086AAAED3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a625dd7283ff7d14d094f5f0530800be52651b","datavalue":{"value":{"entity-type":"item","numeric-id":5434188,"id":"Q5434188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434189$79F626F9-FB27-4053-A8DC-49F7F96CC630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20a814abb5d05765d03c468249bdeb3dcb84f837","datavalue":{"value":{"time":"+2008-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434189$D6ECEBB4-A971-4C69-9545-845DD91A0DBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$905A426F-1508-42DA-860F-FC0632DEF574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$0184F31C-9C46-482B-9468-E145B1EB95FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$D0B5AF45-511D-4DED-9C09-9018F8AEA491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$679F14CB-624A-4ABF-ADBC-B405DECAD961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$406D50B7-5FE5-4E86-AC4D-858213CDB61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$E4A6B07F-82C0-4ACE-A870-00204F983E76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c58f8505d17feee3f84e19dd677db358db4bc01","datavalue":{"value":"5223082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434189$6C9D4DE2-745A-423B-A7D7-FF170930326A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$53EA0334-E74E-472C-9C4C-1E0F37238962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$E213A5A6-2F74-4CA6-8707-11F79B47DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$64F8E483-AA72-4F6C-8CBF-1F180C58A4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$10289DFD-445E-4FA0-BE36-FE0BE33D3533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$3D0C97A8-4CFE-4BCE-8D27-A1075E71343A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc7af04a2eeabb45dbdd271a70ca2e562240381","datavalue":{"value":"tracing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$8245ECDB-8238-4304-93FD-452B989F4F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434189$BFC968D4-905A-4172-B4C9-6E7A8F14885D","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":"Q5434189$D82966D3-0583-4210-9C79-FBCCE7356A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7847cff27e6b0c55a11f3ce52b8ac8a46e9861","datavalue":{"value":{"entity-type":"item","numeric-id":4301157,"id":"Q4301157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72233616e08dfcd1daea74051e547ee042cc7be9","datavalue":{"value":{"amount":"+0.8370696902275085","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":"Q5434189$C98F85CC-A92E-40F3-A493-12049471E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74124cf83a54b86c83bb4d0f7f3169edefd9c469","datavalue":{"value":{"entity-type":"item","numeric-id":5403635,"id":"Q5403635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72233616e08dfcd1daea74051e547ee042cc7be9","datavalue":{"value":{"amount":"+0.8370696902275085","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":"Q5434189$7E06183D-D2FB-418A-B02A-FD754F232952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d757d23d8b6bb2b455de019f5c3d220cadf444c","datavalue":{"value":{"entity-type":"item","numeric-id":4582006,"id":"Q4582006"},"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":"Q5434189$030B2FFB-6774-46A1-A633-970F536F3196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f46793c23b811a30d7ed26ef1e27894a1966c8","datavalue":{"value":{"amount":"+0.8204609751701355","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":"Q5434189$F4035FD5-67D4-44D7-AC02-F75C86F4B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976acd33baabf915ce566e76eee216d41fd7d9f6","datavalue":{"value":{"amount":"+0.8185389041900635","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":"Q5434189$0AE05C49-B927-4967-A5F1-E170AF32A7C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary logic. For software development","badges":[]}}}}}