{"entities":{"Q5055734":{"pageid":7085311,"ns":120,"title":"Item:Q5055734","lastrevid":47785774,"modified":"2026-01-02T16:49:58Z","type":"item","id":"Q5055734","labels":{"en":{"language":"en","value":"Rewriting techniques for program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631129"}},"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":"Q5055734$E1AFFECB-3BD4-486C-90CC-A1760FD82F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6448a0f60e2dff857765d118bdd4f2ed5b9bea2a","datavalue":{"value":{"text":"Rewriting techniques for program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055734$FD3301EB-452C-466E-A7B1-29AF6A7BBD92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1af0f7a9ce301cf8eaa3482847d96593e2261d6e","datavalue":{"value":"1503.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$4EADA8C6-410D-4FF1-B285-A5265CC1D2A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"802759ec670cd7e9c84918c1ac1b40333f7b56b7","datavalue":{"value":"10.1007/3-540-51081-8_121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$075393A1-DBC9-4496-AD66-2506BA2F39AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$4C32866F-C2DE-4C43-978C-47BA15E978D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$C9F06F57-3FB6-4607-BFAB-82DCBF7FC274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055734$0AD19FC1-E1B0-4E4F-9E63-D5A1AA91AE8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$AE1F672F-C5CD-41EA-8FF2-BEC1000D81EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$EA45D78D-770D-4222-B8B8-9BA6221A66D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c95f9719a2e3bc4ed88395173ce3ceda3a896d","datavalue":{"value":"7631129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$A54B7215-5E80-45E7-BCB2-8957D644FFC1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$4CF093DE-403E-46E5-9259-7DD018139FD1","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":"Q5055734$715F0F44-D2B6-43E5-B508-52E3F57593AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6abec5a3f69c26330dc24460529de15ce3fead0a","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_121","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055734$F9426418-E9C1-4515-A615-F5222E747B2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92563c9817bb5f1f9c32dfd3e9af83180b6997e4","datavalue":{"value":"W1606668967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055734$D9FB004A-8B90-4F84-87A9-57EA53E69962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$9F5A38D8-294F-437C-83C2-C4D12DEE57B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$93993155-C9A5-4AC1-9332-F74BCFBD4856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$3185D021-F8F0-4D6D-8381-23B8C442A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$08F27680-4564-4D15-89F4-F565D83AE954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$D0E03834-EF37-4D6F-81F9-9EC848EA7515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$B16ECFA4-5C6D-4721-AFFA-24AD2C623107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed418565104c579a66ee57efc1a9742d60c82604","datavalue":{"value":{"entity-type":"item","numeric-id":3685174,"id":"Q3685174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$201586C2-C69C-4E86-A33E-10B967AFB64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055734$8A085A1A-726F-43DA-B340-2D50256EBD76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bee5527214d0e4fd1b3abab9f2ee23365a1a9e9","datavalue":{"value":{"amount":"+0.8041528463363647","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":"Q5055734$D2847100-D022-413E-8F0E-B79AE8B91831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ab4371acd0fd90ce94d3af276e1cda86154034","datavalue":{"value":{"amount":"+0.8017836809158325","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":"Q5055734$F19F3804-02AB-4E06-8CE1-9E241A7939D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634f71c94f72227d520a4fda7e9a917093515377","datavalue":{"value":{"amount":"+0.7880693078041077","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":"Q5055734$048D6684-9AE7-48BF-AB86-3EB925435B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0771007e85ddd09123861b227507df4b28f8412a","datavalue":{"value":{"entity-type":"item","numeric-id":3811684,"id":"Q3811684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a37775237d7d4c34c93ef9547dbd95ef78a60b7","datavalue":{"value":{"amount":"+0.7776429653167725","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":"Q5055734$4B638441-3B13-4FAB-AA70-58B7097142D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305fdea90db2168bd587527a1ecfc3f18d21ac92","datavalue":{"value":{"amount":"+0.7686936259269714","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":"Q5055734$7C6F8091-7B4C-42C7-8197-1A22DC455B6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055734"}}}}}