{"entities":{"Q3527296":{"pageid":5557200,"ns":120,"title":"Item:Q3527296","lastrevid":50463911,"modified":"2026-01-14T03:01:03Z","type":"item","id":"Q3527296","labels":{"en":{"language":"en","value":"Checking Conservativity of Overloaded Definitions in Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347560"}},"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":"Q3527296$7146A7F1-6808-496B-A180-CE9BF2397E17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aff30a356bf43e193ce249cccdd68f238d741b0","datavalue":{"value":{"text":"Checking Conservativity of Overloaded Definitions in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527296$7D4237A3-6428-4D80-AFBC-9CB36F7991A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a10316fc39375f3655b68652d6959294cd2a4451","datavalue":{"value":"1151.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527296$797731B8-962A-4DF9-92A7-3D4F1B80DE45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac167cadfa84ca69331f75585b7fa21a9c150bfb","datavalue":{"value":"10.1007/11805618_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527296$94425F65-D1F8-4D81-B4FB-4A41C1FCC3A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c5746c9fb7bd206dc1bf3cfc28ead272520668","datavalue":{"value":{"entity-type":"item","numeric-id":2379682,"id":"Q2379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527296$6C3A9785-29CA-4597-8D09-D450BA2743A5","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":"Q3527296$69032F58-A00B-45EC-B53E-5A6BB9F90A01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527296$14BEFA0B-1C51-41C9-9E0F-71B74B9CCD26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527296$452753F2-E3A8-4788-811C-84FD6ED2E29D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b87a1c4507714e9173a98273774d4b035fe7855","datavalue":{"value":"5347560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527296$2C78F084-9F6F-46A0-98D9-06ABCD6DCB16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527296$84E25206-809E-4325-A11A-2C179802A2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527296$F24E0A7F-E04E-4089-8184-38FC0C360E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527296$0C81F7EF-4207-4A1E-916A-EE5AA2BB870C","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":"Q3527296$143328C1-2BA5-45D0-9022-79AB14694187","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83fd071ff22981ac0b3617c01709082e089eb21","datavalue":{"value":"https://doi.org/10.1007/11805618_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527296$3BB24058-9286-46BD-A54A-8B22ED000F07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4be919e086157cfcda5e1d55a47daff8255b21cb","datavalue":{"value":"W1550602817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527296$4DAF900D-63B7-4606-9CEC-A84C0A9E3DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f007afffaa9d82c697dfde08e38474d46ab399f3","datavalue":{"value":{"entity-type":"item","numeric-id":1739913,"id":"Q1739913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbafd43e26097662869f908056381bfc67e96d47","datavalue":{"value":{"amount":"+0.7645636796951294","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":"Q3527296$F5D8F850-DEF0-473E-A087-BC1C17E868DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19914ff8362a88c613e25c3bea458e1c7b08dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":2945636,"id":"Q2945636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca699daa0f3332397fa198a41be1c3daad17812","datavalue":{"value":{"amount":"+0.762473464012146","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":"Q3527296$974D7E76-FB3B-452D-9E42-0D0D0176AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bab036782718245d05f152a7e71f8f232957e26","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4bd902833c7bf327a97c4297cce3d857f448c4","datavalue":{"value":{"amount":"+0.7006370425224304","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":"Q3527296$3A08A777-CDA1-4C40-A643-739CA7780955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0233b2749ba68d2e1c3ea350d744b8b261347aa3","datavalue":{"value":{"entity-type":"item","numeric-id":2333319,"id":"Q2333319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4e37c2ac2ed25f2964d938f3d8fef4211cc20c","datavalue":{"value":{"amount":"+0.6983100771903992","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":"Q3527296$85C59BE8-63E6-4EFB-95E7-BD317B9FA1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519aff4e4b980199e4b7dfa73de3afdeba5a8a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2949203,"id":"Q2949203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20fddc1615a6bbc73c05e1cbec96f171d0b614e","datavalue":{"value":{"amount":"+0.6940088868141174","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":"Q3527296$FCD3D0F9-4FC5-429B-A697-9B492B3912D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527296"}}}}}