{"entities":{"Q5930819":{"pageid":8107621,"ns":120,"title":"Item:Q5930819","lastrevid":47605654,"modified":"2026-01-02T05:04:30Z","type":"item","id":"Q5930819","labels":{"en":{"language":"en","value":"Planning principles for problem solving in automatic program synthesis systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592105"}},"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":"Q5930819$FE8C4367-4DD4-4790-8F94-E892EBD3AA3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1054dc2e77599b5f9431ff5a4a98cb9057580e83","datavalue":{"value":{"text":"Planning principles for problem solving in automatic program synthesis systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930819$ABD68611-AB83-49C7-AE8A-A6B42748A5CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5fa40834d68b2ec162b1563688a3cb6ea78fd94","datavalue":{"value":"0972.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930819$E5C63999-0FE9-4835-8A65-CA8EF273FCFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a436e39da3d6b8ad590c00bb677a6bbdd102b1ab","datavalue":{"value":{"entity-type":"item","numeric-id":174069,"id":"Q174069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930819$23A7BA7B-03FB-4D58-A856-8ED14F324A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746aa477580686c8d62dc4203cb6082b10df18f8","datavalue":{"value":{"entity-type":"item","numeric-id":174070,"id":"Q174070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930819$831070E5-AB0C-4B5B-B120-A75C28E89525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b07079916e1047efa9e95d4bdd2d5245d9f95995","datavalue":{"value":{"entity-type":"item","numeric-id":174071,"id":"Q174071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930819$F55D9B31-19ED-4A6A-A5F8-39F4D6E2F150","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930819$F83D71D3-51CA-4396-A12E-4AFAD14C4A47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a780d61a62af0991bc6e88cb070a7586b6b04fc3","datavalue":{"value":{"time":"+2001-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930819$2B0ECF11-B861-4475-900A-E200DA62BBB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930819$F4176664-6749-4810-87D4-D6981382404E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7db7af5f964bdeefe77dcfa9f51f9e96d3e1da3","datavalue":{"value":"1592105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930819$BE4B1F76-0FEB-4055-8164-EB9BC6DD9308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083c11a182167b09602d2ed5dbba5ba7993a20f4","datavalue":{"value":"Dekart","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930819$F2F3E99B-5180-4272-84F3-0016AE67503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930819$1F6696E7-A195-4DBD-B7D8-7A7D5CDEDB88","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":"Q5930819$0F10C71A-DC56-464D-9C01-6C373E3B59DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a722d08bcc9d5b87f6e372612370b09926b3b42c","datavalue":{"value":{"amount":"+0.8086822628974915","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":"Q5930819$12AB221A-5A71-4209-B5BF-425CEF6E6AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc359892322b66d622b4eafc9c8d8866ad99d65","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0571a327926dee789de46ce4a55f149aaeda64","datavalue":{"value":{"amount":"+0.7793186902999878","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":"Q5930819$797D4A8A-EC40-4C8C-B8B2-86D357A55905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8ac6a8c26ca6e8fa34adea54c1657cdc19332","datavalue":{"value":{"entity-type":"item","numeric-id":3687682,"id":"Q3687682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75bcca49ffae335ee6ac6ea9f50aa3d703effe5","datavalue":{"value":{"amount":"+0.7786722183227539","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":"Q5930819$ECB1180C-80A2-48CD-B107-7F4D30C18E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b1838745b94e0a4f2c3ed4dc83f7576f955387","datavalue":{"value":{"entity-type":"item","numeric-id":1104778,"id":"Q1104778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e904450ae597fc283cfd78fa3f176d6f6afe04c6","datavalue":{"value":{"amount":"+0.7766671776771545","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":"Q5930819$3B8212D6-09DC-4285-914C-C41251BA8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f861cbedf8bf8d08d317f20fab6227edb3c199","datavalue":{"value":{"entity-type":"item","numeric-id":4560348,"id":"Q4560348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0f8e9ee6f7c3546ad3052b2186aa84ef6b4741","datavalue":{"value":{"amount":"+0.7766669988632202","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":"Q5930819$C9967259-AE3E-4863-B807-61D21F9A886C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930819"}}}}}