{"entities":{"Q3632011":{"pageid":5661917,"ns":120,"title":"Item:Q3632011","lastrevid":49728049,"modified":"2026-01-09T14:20:06Z","type":"item","id":"Q3632011","labels":{"en":{"language":"en","value":"Skolem Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5567753"}},"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":"Q3632011$91E86451-3A9F-4D38-9DA4-D613A8E499E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a006ec112d757fdba6735c58bab4b418a105a85","datavalue":{"value":{"text":"Skolem Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3632011$A2519664-531E-48C8-A51B-27FBDEC850ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2afebbf644619998513da12411ce4a3bff88aec3","datavalue":{"value":"1193.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632011$C5EA00AC-9A1F-4089-9372-77E03E721ECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53f1320061bc093037ae3f9f6556ca58f677feb2","datavalue":{"value":"10.3233/FI-2009-0034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632011$2AF61BCD-415D-4E6D-B2FA-D84E1D01774F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3632011$2C01DD64-8565-478E-8DE1-395AFD5EEC4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f66a2f08b182488ffaf8c1a4c74cdffeb2d3409b","datavalue":{"value":{"time":"+2009-06-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":"Q3632011$02D2BD0B-1BC7-43C9-83D4-4D6347FD5719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632011$8164286F-7A8F-4408-B0BE-7652BEE14BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632011$F3B2A2C0-2128-4144-AAAF-20C12AFA41F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6982a71b54e13d4d1647a7ae13bd3520d73c0c2a","datavalue":{"value":"5567753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3632011$4992AD1C-FC6E-4FE7-B5B0-5F0A2F57DB73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067bdd66566c861ec40affefc3932381c49a6171","datavalue":{"value":"finitary geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$BB8D5785-D35D-474C-B451-6ADA000EB3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c3fd743a6de3b45600d3f652eb39554b8f3047","datavalue":{"value":"Skolem machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$A1C0A44F-AEE9-47C1-9777-444760A2C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138c84268caa9ca693c6b4b44ed2332d55c8c9a2","datavalue":{"value":"Geolog language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$8180E21E-784D-4CB1-9E47-5FA0354B8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"434aa8cbcb1bfd237eea8a235403395bedd30fa1","datavalue":{"value":"Geolog trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$71EDDC63-474F-4AFD-BA90-BA92AA92D969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$FD92B6DE-449F-4C7E-B12F-6C5D0E3DD824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$4A376C65-F6E3-4148-BAE2-1D45B22B0EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3632011$D672A95C-157B-4FA2-AA0A-62E679D4E0F6","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":"Q3632011$94457504-B39B-4C92-9DEE-78D5F66F5B40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17402f4de11d0662220a9e78840f73c1fa8f8949","datavalue":{"value":{"entity-type":"item","numeric-id":4907913,"id":"Q4907913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682fe219237248f59268830f4c15aa111ae6ab7e","datavalue":{"value":{"amount":"+0.7849869","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":"Q3632011$7BC5EC27-ECD4-4687-86DB-BB8BF770D5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abae57d7357abc562866ad6227959f5c4342c42f","datavalue":{"value":{"entity-type":"item","numeric-id":5235973,"id":"Q5235973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98038ec2bab9b82628f884086864318f79a91791","datavalue":{"value":{"amount":"+0.7770196","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":"Q3632011$C9197C04-0FF5-45FB-9055-60C3AEAC6087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3033f0ca8a8d5f1d5d1ce0818460d2e6ef07c11a","datavalue":{"value":{"entity-type":"item","numeric-id":1860974,"id":"Q1860974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f3874042a386582d2233a402ff82ee08aef86c","datavalue":{"value":{"amount":"+0.7619021","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":"Q3632011$57DCD816-B784-4C00-8CFE-978AC00098D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f20b610596ceba9df3cc9a411ba183daefd9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1077397,"id":"Q1077397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb956703f13fdc7e7e491de3cda42bd1a4702e9","datavalue":{"value":{"amount":"+0.7597559","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":"Q3632011$FF5DF78B-BDF4-47EE-9161-97B7CE2618A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda31209d69e96ad347dd54b8d96419c55266abb","datavalue":{"value":{"entity-type":"item","numeric-id":5261825,"id":"Q5261825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4345ef8b86a5be7ef1a48dad5c1b3239fefa5d","datavalue":{"value":{"amount":"+0.7573396","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":"Q3632011$2E39191B-914E-4BD3-AD7A-A86F7CE05823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35292f28587e4c7579e0f14bee3ae029309f269","datavalue":{"value":{"entity-type":"item","numeric-id":4876980,"id":"Q4876980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6686f40cea3fdbb8bc3edeb345de85affe4633","datavalue":{"value":{"amount":"+0.7436871","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":"Q3632011$356B7F8D-AEE6-459F-BD1B-8D94A538F283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91743bc42eba91b92fa5415e8e9dc0d39de14dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3552185,"id":"Q3552185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a179a2b34cc667bab3846eb3da48bef0b355a8b3","datavalue":{"value":{"amount":"+0.73708254","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":"Q3632011$2195D13D-D3CD-4632-B798-A6334815FB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce88b184a64afc81045b70dc79b4d047f1813e2","datavalue":{"value":{"entity-type":"item","numeric-id":3471187,"id":"Q3471187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da56705440fd531cb5e4083ad9827d3baecbf1c","datavalue":{"value":{"amount":"+0.7353625","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":"Q3632011$9B905C5D-F8D4-4201-8438-E83C805B155F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3632011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3632011"}}}}}