{"entities":{"Q3183546":{"pageid":3194254,"ns":120,"title":"Item:Q3183546","lastrevid":80028281,"modified":"2026-05-06T15:16:35Z","type":"item","id":"Q3183546","labels":{"en":{"language":"en","value":"A Formalisation of Smallfoot in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618526"}},"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":"Q3183546$30EFEBAD-5C73-4117-A923-B281D51A9B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190bffde51e991a1c140dbb8ddb407a5b48429eb","datavalue":{"value":{"text":"A Formalisation of Smallfoot in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183546$2F70E27B-CD06-4CB9-91C5-488E76C1CC98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4880ca9bd372f500464f21956282f0359a62efe9","datavalue":{"value":"1252.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$00083FA2-1ECE-46CB-9499-080D6DEAE8F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e5e249cd1b28a76507a5bf2f6dab1e6d00ad43e","datavalue":{"value":"10.1007/978-3-642-03359-9_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$8E7DED55-59A6-4D83-8C88-01021E67970E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd478264cc6aa5b8383a7d2ac9f31313184807","datavalue":{"value":{"entity-type":"item","numeric-id":2914740,"id":"Q2914740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$4E41A020-038C-47E1-B6F8-BAD24798F6DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$D500CFB5-D21E-4B16-B07B-99A74AE9B67D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183546$0E004562-8CBA-4ACB-BD9A-0020724B9C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$538776A1-45D3-46F0-9C4A-AE4311380471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$7D0BBA08-AC06-476C-9BD4-D28831A10BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$6758DD89-4A34-494A-A76B-63B006E5A7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d41bdea587279248a8d11f6e9e667a281a4e60ae","datavalue":{"value":"5618526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$75B27C2E-C2B0-45F4-8494-011EE1320C80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$64BDF527-DECA-46C8-8E64-3C1C8FA95CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$5EAC7AB7-92D5-4648-BBC3-B676455F6DB4","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":"Q3183546$512BCF84-02B5-4991-AD3E-B2D0E067EBCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecc60e0d7bc4a4e32725981e45a37fbc4568cef6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183546$2492ECA5-4258-4E49-A5F7-6FC27A5374AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"720bb2943a0bf77352d3e08886c8568e6f0b63f4","datavalue":{"value":"W29700130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183546$3EA1B0D2-4560-4957-AA31-28427BC2E5F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$5E9654E7-97AD-4301-99B0-2321A64B7C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$F1AF2834-0195-42DC-8AF7-0F3209DA20A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$E835862D-BE5F-47B5-B1D1-528309DB17F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$7B6CFDDF-265E-4040-ADC3-8FDC89F5723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$972C5A21-585F-4A98-B768-66CC74688B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183546$16588ECF-3417-49A7-9C2F-EF1AFA30C6EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8346a5a64842840abd81bbf8ab437474dc550d3c","datavalue":{"value":{"amount":"+0.7869543433189392","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":"Q3183546$19E7FF26-27CC-4674-B14D-3F5677B4B8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca334c71b2f31093563b1df55327e8a824bfeca","datavalue":{"value":{"entity-type":"item","numeric-id":5415649,"id":"Q5415649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff33b8dedc112893b4fd698a7f62f9989a27beb9","datavalue":{"value":{"amount":"+0.7582637071609497","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":"Q3183546$013430DC-6BB7-47D1-96EB-2887596D3E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fa0d61d638319b6d1f1971ef4caf16a0f2c7d7","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152d65fafcda359095c59d66aad2f03b8c729dc5","datavalue":{"value":{"amount":"+0.7463397979736328","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":"Q3183546$164B0B4A-8D84-46AE-80BC-9AA36341059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883bdd38b970b655de026fd6753c012d98ba2ea5","datavalue":{"value":{"amount":"+0.7396363019943237","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":"Q3183546$B359FCFD-1CCD-417D-8F0F-004626C3A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481f031154a8dd53d911682af117a071e4b93aa","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba5abf904f476cbb4776a6dd6818266a5d362f1","datavalue":{"value":{"amount":"+0.7346739172935486","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":"Q3183546$32DD480B-9B12-42B9-81C1-807C0EFBB5B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formalisation of Smallfoot in HOL","badges":[]}}}}}