{"entities":{"Q3608760":{"pageid":5638666,"ns":120,"title":"Item:Q3608760","lastrevid":50592092,"modified":"2026-01-14T12:18:24Z","type":"item","id":"Q3608760","labels":{"en":{"language":"en","value":"Compilation as Rewriting in Higher Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523763"}},"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":"Q3608760$751DA705-6C38-44A6-8960-59117F16E785","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c92c43d25a1c44d395a5abf6248c6ab90f11807d","datavalue":{"value":{"text":"Compilation as Rewriting in Higher Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608760$EA942CB4-A1C3-450B-AD75-36757BB65848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eeb82d2c7c3f4323c2e8df05c7389f6b50c1c60","datavalue":{"value":"1213.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$6DCC43E7-FD4A-4A24-9942-8501198E9B43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c38e0e053a689a4eeebedd0b4bce71a6b2b16b9e","datavalue":{"value":"10.1007/978-3-540-73595-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$183517FE-F37D-41FC-B171-FC4B6936E9E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae562a9b4ab01b03508d01f680612b0713f587c","datavalue":{"value":{"entity-type":"item","numeric-id":249846,"id":"Q249846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608760$438D1F11-C368-4C66-B04F-6EA025D0934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608760$16F5A188-8EFC-4B83-B48B-379A41814364","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608760$828B2EBC-6913-4EB0-A3D7-BFF39332BF57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608760$210CB618-878C-44CF-83C5-16A302B73C7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$F9DAF638-7170-49B8-8244-E4358ED53A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$086D5161-49A0-4023-9001-CE6CB0229E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$F73185DD-E360-44D5-8930-4E91E602A02C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"439efccfaa21326ceba213e9733fb05c53d89d36","datavalue":{"value":"5523763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$F0C78E64-432D-4560-9AFE-0AA71EC78132","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608760$1920A6F1-9224-4FAA-BA24-A0F3419F5979","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":"Q3608760$F2160641-D913-4BEB-BAAE-CB3D853E707B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c4e969d1c89c98f1217a1014d4e45adc3009d01","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608760$A20F3B95-A0D9-494F-9C1E-6D397D471C27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb715d12d39a7c22b4fc680ee25d722599b111c0","datavalue":{"value":"W1746660792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608760$7A35AACE-442A-427C-8666-16543439326C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c43955591539e50976eb74d7dbd4932e5ad95b","datavalue":{"value":{"entity-type":"item","numeric-id":5756497,"id":"Q5756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6b4f9da99dece7c37e728e0c6872824ec459bb","datavalue":{"value":{"amount":"+0.8021761178970337","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":"Q3608760$665BF57C-3341-4A91-BEDA-C4C551B4E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ad3bcac2eb462823232de5b8fdf66bee894219","datavalue":{"value":{"entity-type":"item","numeric-id":633302,"id":"Q633302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1350a190d87d3b09a6da346d9105b3b067df41d","datavalue":{"value":{"amount":"+0.7548239827156067","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":"Q3608760$32D029E6-3540-4BAC-9438-CDA9372EACDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534ab4cc528829f573af9e6705220481f24ef1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70cbb587dfc82eaa1b9717ca8032554dd3cbc58","datavalue":{"value":{"amount":"+0.7517327070236206","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":"Q3608760$E149E650-D347-4866-AED4-0A55E3D07FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e97959b14b7bfebbbe19a4da31b45f9bfeb4ab","datavalue":{"value":{"amount":"+0.7367010116577148","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":"Q3608760$8E8E6DAA-A149-4011-896B-635D024E3972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f111eac5ad767c0299626bb8fc33167280082866","datavalue":{"value":{"entity-type":"item","numeric-id":2875232,"id":"Q2875232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f344b1636fb5826aef9ed285d956f36a6648ad","datavalue":{"value":{"amount":"+0.7355859279632568","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":"Q3608760$3DC17462-D716-497E-A4C9-BFEB201F2EE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608760"}}}}}