{"entities":{"Q6070806":{"pageid":13205114,"ns":120,"title":"Item:Q6070806","lastrevid":93790400,"modified":"2026-06-05T05:07:56Z","type":"item","id":"Q6070806","labels":{"en":{"language":"en","value":"A static higher-order dependency pair framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770446"}},"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":"Q6070806$80B100C0-F8C9-4A27-8E85-ECC0573850AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7d4e7b2885e149be1ddc9a2d65acfbccd5ed929","datavalue":{"value":{"text":"A static higher-order dependency pair framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070806$8DBF5C5B-6FB1-4449-B536-68B8F19DBB2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8288d4d563e9ac5b5f2b43ef01848417eebe102","datavalue":{"value":"1524.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070806$4B25153E-CCA6-4226-A328-9AAD5F56F7A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5724a07d51be1419571a50fa01feab8d5193f845","datavalue":{"value":"10.1007/978-3-030-17184-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070806$FC5BCC97-F629-491A-98CF-9FF1FF515D2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070806$D26BB35C-0C62-4ED5-99B8-1E8EE05158C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070806$4A97A0A6-3FD9-4306-84C1-1D6ADC2E6B52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070806$B537E71A-0236-4A62-9898-93E848427D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070806$439D83AE-6B83-42EF-B677-421637CE5573","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d02c5672b7bdd2291da9ff36dbfb5d2088879af","datavalue":{"value":"https://arxiv.org/abs/1902.06733","type":"string"},"datatype":"url"},"type":"statement","id":"Q6070806$840D5AAF-0197-4337-B6FC-2BBF859B9C89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070806$9EB6157B-7F73-4255-9066-85A1BCC90922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20d61266bb21f9caa9a20edae20722fa7113babf","datavalue":{"value":"7770446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070806$9DAAC029-6BAC-4662-AD8C-BA85A4688B9E","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":"Q6070806$12AED2EE-8944-471D-B15E-05B4A7E7177A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3add3fd27834f90d60520da4b18c791992cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":5389088,"id":"Q5389088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8770ac426665ac933b098d754ebb338bcf1407ac","datavalue":{"value":{"amount":"+0.8475111","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":"Q6070806$871EB54A-07B7-404A-AB32-B1E921DEE730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107c8a258b177f19d5bb8ab94aa37b0e0316ecf3","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4295ed5102ce397891565852098c1db7e5a10ec6","datavalue":{"value":{"amount":"+0.8402586","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":"Q6070806$6B7EFCC3-3AED-4A81-84FA-8ECBC75F34B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f656f1bd9377305bae00ec61b961be1e8fe7189c","datavalue":{"value":{"entity-type":"item","numeric-id":3608787,"id":"Q3608787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ddc005b3a5d2e05903965b69902e0f45282ce9","datavalue":{"value":{"amount":"+0.83486557","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":"Q6070806$6B193723-ADBC-4D52-BDDE-12FBA2974FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fabe2b121ce6f3ac0f92de4eb2a17a4f561055","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74fd60015256a6d317e7beaf911d0c7e99f55f2","datavalue":{"value":{"amount":"+0.83420837","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":"Q6070806$A8CB8645-5B7D-45DF-8FDF-0FD1C6B02B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdf18bf4bd98bbc25781889dea690403574986a","datavalue":{"value":{"amount":"+0.83067536","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":"Q6070806$021C9D41-34D7-4DCB-BCD5-456F3FE44A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee2d46496b423dcc531760e8359592b39ead141","datavalue":{"value":{"entity-type":"item","numeric-id":5200041,"id":"Q5200041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865b67b8aead2c69d0ce1cc4adf28059e4138d50","datavalue":{"value":{"amount":"+0.82905775","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":"Q6070806$21DAECAF-8C7C-49E7-AA1E-32789F966F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da05ed7d9ebc2fc80066bb8eda805a91e70e673a","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173de6e71a64f5d38832e79d2342322e3326edb5","datavalue":{"value":{"amount":"+0.82879245","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":"Q6070806$4BD88826-5794-4AB4-A32C-E80337EA23CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2387173d1a775338c30e8db907787b3bfde16e8b","datavalue":{"value":{"entity-type":"item","numeric-id":989290,"id":"Q989290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bd3df82d91e09e2fce49b009d7780943857e78","datavalue":{"value":{"amount":"+0.8285292","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":"Q6070806$FAAA331C-767E-4036-B72D-3EB772538DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4044acc3f9d01cfbfb914999dee2855fcf55dff5","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bd3df82d91e09e2fce49b009d7780943857e78","datavalue":{"value":{"amount":"+0.8285292","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":"Q6070806$F09A0C30-A549-447C-A405-66ABB0CEB3F4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070806$2A7CEB6C-09B6-44EB-B722-B96C4C5631DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A static higher-order dependency pair framework","badges":[]}}}}}