{"entities":{"Q4840188":{"pageid":6869768,"ns":120,"title":"Item:Q4840188","lastrevid":41837404,"modified":"2025-05-08T21:48:25Z","type":"item","id":"Q4840188","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 777408"}},"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":"Q4840188$149D6AE0-1187-4481-9675-6182F99F3F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dea15d3f1e701fbfaf56330b21a131f18cdd403","datavalue":{"value":"0828.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840188$D53C27BA-2066-4139-9246-5F5AF5115136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840188$03D6327D-7F11-4FC6-8C76-CB4EE58937EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b380035f688a74a9a8fbf02991d94c276a4d78e3","datavalue":{"value":{"entity-type":"item","numeric-id":162062,"id":"Q162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840188$E0C63F05-39BC-42DF-B3C1-DF17BAA00F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"296e27d463d3900033f46b0b76e9d36986969605","datavalue":{"value":{"time":"+1995-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4840188$59870B28-1316-4E8E-B936-E67EAF5552F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840188$B280B9E7-463B-472D-AB6D-F6A885A6D8FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cef172852035e151a4f0d0406330e306777b244","datavalue":{"value":"777408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840188$454BBEA4-3875-4BFD-BBC6-A5B8706DEE27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$FC89502D-4BB1-4D9E-AA84-555D3C6F1D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$3E1ECEC5-03B0-4498-BEC9-C5614EB0CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520c043560a5dae8fa53dd8eacc52d0c8ca8e6ee","datavalue":{"value":"Herbrand structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$257BC197-D7DA-44FD-9010-6295ECEF8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906b0ec31cba5238e8f58b5c3223d38f2b9ad22b","datavalue":{"value":"fundamentals of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$4B827AB3-A043-42EB-8F0D-B81277C7AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$C7538F37-D4D9-4112-BF2D-B11A068A1E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$B27EE433-4B6A-4EAF-8068-1DD489F13E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ec264ceb3ea373dd384de4951908311bc64e8d","datavalue":{"value":"Peano structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840188$EB490939-D453-496F-A82D-374C657B83EA","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":"Q4840188$6009815D-4E1D-4AD6-BB81-21875C2E2E63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659f4fa812213a041ddb536b48437af1ea095928","datavalue":{"value":{"amount":"+0.9917293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$C938F13E-7E54-4162-9593-DD4406D64036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7b3526bba6592908679513dae06efb66530599","datavalue":{"value":{"entity-type":"item","numeric-id":5894107,"id":"Q5894107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$9F0E1F13-014B-48C3-80D7-EC6F441DB6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d2b497bc0f62095b13f8c8d6889b6bf1f96fc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3777983,"id":"Q3777983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$9B08F159-9168-47B5-B387-C4D604E868D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$40A3C172-0071-4B9E-BF02-BC3F6523D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2f609856cd99b7370997cc5fd2d5d37012c685","datavalue":{"value":{"entity-type":"item","numeric-id":5387355,"id":"Q5387355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$90B1EE28-43B2-41A9-9CC2-6745ACA8FEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b896f4b8435cb88e207d8e6c04f48903e7f541","datavalue":{"value":{"entity-type":"item","numeric-id":4857787,"id":"Q4857787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$8B0F4A7D-FBC4-43A8-93CB-20DC406AE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a146528d94f78b89871147957a53adcbd13bb3","datavalue":{"value":{"entity-type":"item","numeric-id":4004346,"id":"Q4004346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdccc3d58a3aa47879f23c9976d81e72283bbf9","datavalue":{"value":{"amount":"+0.95919645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$E5607B49-9463-40CD-91D2-7D1F23F714C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25709f1c79d195279801d2058c0ab6c72c260665","datavalue":{"value":{"entity-type":"item","numeric-id":3999469,"id":"Q3999469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d827dcb473b4919949165092e646afd581357aa","datavalue":{"value":{"amount":"+0.9525835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$C5F5EF5A-7D5C-4B6D-87D5-251EE73CCA23","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":"a6ea2948369cd5efabd1094e5fdac7547b0d931e","datavalue":{"value":{"amount":"+0.9371547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4840188$B674EE15-744E-494F-BF61-12E43816ADB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4840188","badges":[]}}}}}