{"entities":{"Q1977753":{"pageid":1988495,"ns":120,"title":"Item:Q1977753","lastrevid":43457983,"modified":"2025-07-26T01:15:52Z","type":"item","id":"Q1977753","labels":{"en":{"language":"en","value":"The propositional formula checker HeerHugo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1449095"}},"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":"Q1977753$2E3590FB-3260-4943-81E8-E052AC148004","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"595b32748f5481b1575f0071d0d1d6ec404ed24f","datavalue":{"value":{"text":"The propositional formula checker HeerHugo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977753$202BB08F-0F2A-4E22-B334-227D6B3EF771","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36e739a2178e189ebc34cdef0cc101c6d4a92393","datavalue":{"value":"0968.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977753$A7D68D22-674B-44F9-BECE-306C1C6442A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa12493cfeb5f87f7a69d0a156724e95442268d6","datavalue":{"value":"10.1023/A:1006366304347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977753$244BD60F-BB53-45EE-A172-9950D3BCC5C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977753$C66964E5-3C75-4362-85D0-BEE35B1123A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6acf4f887f77787466f544479176d38cfa92ed5","datavalue":{"value":{"entity-type":"item","numeric-id":293408,"id":"Q293408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977753$3F1DF564-6DD7-4C1D-A310-3234C6B6DBFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977753$989395BA-45D3-4541-A946-E28F5A2306EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba59cc8ef51c6aa454f4b268e86093eec346eb7a","datavalue":{"value":{"time":"+2001-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977753$94CB271F-EDD0-4D90-AEC4-720F5BFE4EDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977753$2D682955-FA7A-4BAD-A092-242A31C99988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaed10a8e18d98708e79163fd0810ab5ecae8be6","datavalue":{"value":"1449095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977753$882B3B14-64A1-4385-A81D-193936BF6E9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae26915d8280699dbbe7c04199f67053100e75a5","datavalue":{"value":"HeerHugo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977753$C91E3C01-C0BF-4B37-81D0-2153DA2B7BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40b8accc0e315d00d760c13c65baf009e051a573","datavalue":{"value":"propositional formula checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977753$0D3E2BDB-ED4C-43F9-B859-756860B6F3CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977753$E058706D-26D3-4C3A-BB4E-3E6BA187F380","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":"Q1977753$FA8CDFFC-D0D4-489A-9FB2-100D32582801","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7efc71e1e141761f3ccf0389424fb359acd7750","datavalue":{"value":{"entity-type":"item","numeric-id":2749861,"id":"Q2749861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$734A1FEA-A752-4E0D-8B1B-1C7DDC654009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57108e21f967262d88b1df0ba908104cc61860a","datavalue":{"value":{"amount":"+0.85408354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$191C96C1-3387-494E-9D73-79EE46C7040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcf73472343b5f1d5624a1b5d509fb74bcd1975","datavalue":{"value":{"entity-type":"item","numeric-id":4529644,"id":"Q4529644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edfa6766f04eeb404b83c6cf9790225be064765","datavalue":{"value":{"amount":"+0.84719634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$F4AB7BB9-6A04-4863-A9F7-82BBE307E951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab683a7b1f35576127c529e6651dcc1403e6eaef","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db6f044ca343af400111dd253a0cefcaf347980","datavalue":{"value":{"amount":"+0.8440854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$F7FFBAEA-51B7-44BF-AC5F-7EAA24B7B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e97c10c108656c792f33a2555b8592033e5b3d2","datavalue":{"value":{"amount":"+0.84053034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$F63FBF2B-6025-4AFC-A191-642F71FD263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ebe357397e139e529ba9b664ef544616600ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3043798,"id":"Q3043798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fbb384ed22738d351ecae691f5132e5abb3579","datavalue":{"value":{"amount":"+0.8395361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$F97305A7-B6A0-48AF-B0FE-CA056C017307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deacb24347a61f6e207c9f566df13e0a7bb853d3","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72a557b64822eb158e695ff7b09aec5ea7e96fe","datavalue":{"value":{"amount":"+0.83846635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$989A5DD1-6997-4C58-A21F-5ABEA2127191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9408453aa7df27a59323e790e1dd4ca591280e","datavalue":{"value":{"entity-type":"item","numeric-id":3783512,"id":"Q3783512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1a98fbb55bdb7986bf20f674e58c53b198d1f4","datavalue":{"value":{"amount":"+0.83691984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$9609F692-0A6C-4034-8287-5AA0BA2C7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d04a7f8764e61a8096147cce06cbc1b6ce138e3","datavalue":{"value":{"entity-type":"item","numeric-id":3305555,"id":"Q3305555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40871e088c1366c3db6de09e3f9e0fdb0b11e999","datavalue":{"value":{"amount":"+0.8343886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$C06EA895-5BC4-4EB6-BF6E-C851CB3FC0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ecce95bd05c37355cafc2cedceb99737a92c9f","datavalue":{"value":{"amount":"+0.83252263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1977753$E2C7D695-D7C7-4878-9FCB-D7E8926651E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1977753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1977753"}}}}}