{"entities":{"Q5096196":{"pageid":7125772,"ns":120,"title":"Item:Q5096196","lastrevid":54381656,"modified":"2026-01-26T17:53:19Z","type":"item","id":"Q5096196","labels":{"en":{"language":"en","value":"Propositional calculus problems in CHIP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571977"}},"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":"Q5096196$2253C1DB-2ECF-46B1-A953-FF0F7343E263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c747714bb0778f87d54854d35da6ee9c444bf992","datavalue":{"value":{"text":"Propositional calculus problems in CHIP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096196$89EF248F-6D22-4DA1-ACDA-701D1839EE89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26677b17bf10298dc567c4ba9ed0f0d9aa130eba","datavalue":{"value":"1493.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$A74E34EF-11BC-4683-A3E8-67F70FBD34D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7bdfdee4178d34ca6248eaa3778467d31a33ac9","datavalue":{"value":"10.1007/3-540-53162-9_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$4BFAD441-E8D1-423C-8343-1CFCA8033460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361433d67351ad62f7771199b4450b5286857534","datavalue":{"value":{"entity-type":"item","numeric-id":265696,"id":"Q265696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$AE2A8E6E-750B-4F4E-81B2-FF54CF06A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d24ccff48af2d3087c9fac63d8de199292cef3a","datavalue":{"value":{"entity-type":"item","numeric-id":1969730,"id":"Q1969730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$2745EBBC-637D-4CA3-B38B-E4F06DE0B4D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$A7731816-275E-4E20-85C8-65869FD873C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096196$B6DA2D3D-AFE1-480B-83F1-787BE2A6CBDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$4CEB9BFD-9398-4974-A9FF-9FF2E95ED57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$92C5E241-63A6-4560-ABBB-50A2E06232EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$BD9B778E-5AEF-4673-94A6-2D1A5AE1FE29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0f5bc2f3f06fab47df6b40d7f62877ba0778cd","datavalue":{"value":"7571977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$080A77E4-2189-44F9-B57A-19CAFD20CDC6","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":"Q5096196$6E5433DB-BA41-457A-B68D-29BC6F831ED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef32c155f9b75350098c5713e4223de0a624b682","datavalue":{"value":"https://doi.org/10.1007/3-540-53162-9_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096196$F9932A41-C876-4B56-A509-BD2CDA59F8B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9793f19da4aa9975dc691f61caa4f306e47f799a","datavalue":{"value":"W1500415104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096196$6C35C9EE-5C2E-4CDA-AB3B-7C9B64AD5AC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5020c04500a91709182037dcf1bddd4989e76c6","datavalue":{"value":{"entity-type":"item","numeric-id":1100935,"id":"Q1100935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$00E31B98-8299-41A4-86BA-F7936B1E9C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$E556549E-26FD-4EF2-948F-685490823FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$E6145FF5-6BCE-487A-B41A-A0C1A0EA87EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e68b57248aaa4e45c6a834d25421fc2307d13d","datavalue":{"value":{"entity-type":"item","numeric-id":5751930,"id":"Q5751930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$DDF91608-F054-49A4-94F5-9AF96DB9F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$517934BE-F675-48AB-86CD-AE652E32A97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$077166B7-D98A-4043-9304-4714DEF6D2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$A20DAC57-762C-44BF-9964-075A55851ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbab1164d667bbaebc38277fed524f941d0a067","datavalue":{"value":{"entity-type":"item","numeric-id":5675139,"id":"Q5675139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$94B76CD2-F26C-47AD-8AD9-50DCAE972A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed33903bfa961eef80feb421339f245489b179e3","datavalue":{"value":{"entity-type":"item","numeric-id":1245009,"id":"Q1245009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$601A2DB0-75B3-49FB-A20B-97B444717D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$DAE49D74-5B6F-484D-835B-279D3695FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$A385DE93-3A8C-4BD6-8EAC-B5BBC7BA96BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$DE274E68-6905-4525-BD3D-214B3434411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$7E5E301A-650D-4AA0-98B8-985C3C1C395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50956a3b83461573c132186d5ea095e873860f5","datavalue":{"value":{"entity-type":"item","numeric-id":5522666,"id":"Q5522666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$D7885ACB-914B-47A4-8673-E246014B242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270c1c054c28939f7f15e01aa922e0cf1576a9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$CE3C773C-8660-461E-B623-1221694F2995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096196$4A355447-EC79-4990-840C-B9A06BB689B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2464e318eee976b9e43265c773c1c2338879f0db","datavalue":{"value":{"entity-type":"item","numeric-id":918429,"id":"Q918429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b465bbec3760abdc7bb9dc7e0099ea3d766162c","datavalue":{"value":{"amount":"+0.8016051054000854","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":"Q5096196$C8B66DCD-912F-4D39-8F93-E98929951989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d7f720082e96a7024e8c0d376c662d4934af3e","datavalue":{"value":{"amount":"+0.7985029816627502","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":"Q5096196$AC4F5404-DDA2-4DF6-A480-CA2925C069C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c276793cbd495bf68d9bc3d661d9717fe4fc74ea","datavalue":{"value":{"entity-type":"item","numeric-id":5751930,"id":"Q5751930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6382a3104635c2b2b8f2ccd56b39cce102e24fd7","datavalue":{"value":{"amount":"+0.7931584715843201","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":"Q5096196$F77E050E-B74A-4AF1-9B56-B5E5EB364940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61c633924bcaf5c94158b1a0088ff8a9e3ca7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1357667,"id":"Q1357667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d3c05f49eb237b47d9745b0c58eb816ce897c4","datavalue":{"value":{"amount":"+0.7784147262573242","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":"Q5096196$8E483F52-D5E4-4AE8-BE8D-B2B49BD0AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245a04474cd4d3f143949499bf7fc3b5c5cc4b98","datavalue":{"value":{"amount":"+0.7674486637115479","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":"Q5096196$596B7686-FA5E-4E8E-9CB7-005C838A85CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096196"}}}}}