{"entities":{"Q3527309":{"pageid":5557213,"ns":120,"title":"Item:Q3527309","lastrevid":50463974,"modified":"2026-01-14T03:01:05Z","type":"item","id":"Q3527309","labels":{"en":{"language":"en","value":"A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347572"}},"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":"Q3527309$05245926-FF39-46AA-B424-7EC0F76AD693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"194e72db53a9864091fdeb5485cbdcdaa75e4bbb","datavalue":{"value":{"text":"A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527309$2782FCAC-357A-4DE8-BE0D-B67BD90F699A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a50142ffe215f677053670eaef1034a86059104","datavalue":{"value":"1151.68442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527309$6D34035D-2762-483D-8F48-AAC23F2A2616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c97ee9b1fdab54098bbc827a156f33f24959aa0","datavalue":{"value":"10.1007/11805618_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527309$5E283554-F421-4BBB-8CE4-B85C0DC6BD4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d02beee11ff675aec575448839b0cc3f812fe7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2911623,"id":"Q2911623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527309$D1969460-AEB2-4FF5-ADD7-203EB401EB74","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":"Q3527309$671CB05C-CF2A-41AD-90F2-B97C96FEACE4","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":"Q3527309$01C15968-5ECB-4E0F-AB12-8BFFD71AC5A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ee08c62423cfbdad388d1000a10b2b2b491dff8","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26749","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527309$F400F3B6-608E-453F-8C68-4A27D4AC32F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527309$F13D0F8F-85B5-4D91-A169-7DEEC347760E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9dc79347c4d503fc79c5ff8ffe31faa15429236","datavalue":{"value":"5347572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527309$731D97D0-0D48-4C20-BA5A-8BA0110F450D","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":"Q3527309$30666759-26E6-42F6-927B-11A886E7D47F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a0ec246e3c4668f3d8ebafedf509e01ae85178d","datavalue":{"value":"W2111199709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527309$C109A711-BBA4-4419-B2D5-3F1A1122541F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eac387aa6f24e1468f6e3697fc63f7f401b14db","datavalue":{"value":{"entity-type":"item","numeric-id":4594237,"id":"Q4594237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cab064e53c5e9dd1548a3c2778fb55d26fd2b2","datavalue":{"value":{"amount":"+0.7910916805267334","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":"Q3527309$1E2819CC-B311-4FAE-A88A-D57123F5EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4439c7def1464295abcb7fd6c387bb7b66e11d23","datavalue":{"value":{"entity-type":"item","numeric-id":5055875,"id":"Q5055875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69536e708c868fadd47af2eafc9a857951ebd915","datavalue":{"value":{"amount":"+0.7370145916938782","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":"Q3527309$E42BB0D9-F9D5-438C-95C3-566C46A14934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f195873cb7b74b8f53c29bb27e5535e8f9a2ab8","datavalue":{"value":{"amount":"+0.7297126650810242","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":"Q3527309$BF01E5FC-A8E2-4FF4-95E0-02C25E131498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0972e4d2b6fd3df14971f7798cf335a5208d5a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2956727,"id":"Q2956727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963257a08ae45182d14bdb0684fe1f50c99db87c","datavalue":{"value":{"amount":"+0.7030074000358582","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":"Q3527309$673DB0E9-4225-48E5-BA17-B1FCBE8C4245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53c2cd301532ba46ff23e0c7f41ed031a32c7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5389133,"id":"Q5389133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382b46a27706e1b4077e125ede16c42f3d3cfd49","datavalue":{"value":{"amount":"+0.6972143650054932","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":"Q3527309$F1475C08-23BB-4CE0-9E5F-04BB4819C8E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527309"}}}}}