{"entities":{"Q908686":{"pageid":910534,"ns":120,"title":"Item:Q908686","lastrevid":49353157,"modified":"2026-01-07T00:35:27Z","type":"item","id":"Q908686","labels":{"en":{"language":"en","value":"First order compiler: A deterministic logic program synthesis algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135390"}},"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":"Q908686$5FC02D0D-29BB-4DAA-9B74-FAC1FF3ABBA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59a8b12265ca3481f3f4f8ef4f8f89afcc2a68a3","datavalue":{"value":{"text":"First order compiler: A deterministic logic program synthesis algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908686$C04BE6FF-90EA-44C2-8F52-BDAFB366E362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"823887dce5069a7fbf95d8df0c8a94f36e1d7a10","datavalue":{"value":"0693.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$B8204C22-F85F-4CF3-8A7D-5CCC21547D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08d952191e9dfdbcb4678ad78520aa3df39ef27f","datavalue":{"value":"10.1016/S0747-7171(89)80064-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$0033D211-CD71-4E0F-93C2-DDC5EEB5250B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$7635B639-F42A-41F9-B610-9049B1DC2C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daed725bd67311ea1169330a2e84cea207141141","datavalue":{"value":{"entity-type":"item","numeric-id":284333,"id":"Q284333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$F4BBFAC8-B9EA-49D6-AA8E-8D81E35184E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$B476CE32-9BA3-4CEA-A8FB-2BF8EB8308C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q908686$232335B3-B126-43D8-959D-5E77F4BBF9D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$4DBABDB1-79AE-4D9C-84AC-7B7856C050E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$DD371919-C680-4029-BD9C-D119241588DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$C03ADEF8-CF07-48FD-A02A-8CE64B519F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$538FD811-9317-440A-B7B6-F446011D21E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b5d5f0e85a7f1ffe067eb6b860459e637cf3c09","datavalue":{"value":"4135390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$0850B86C-7165-464E-8AFA-8E5A1456FA2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q908686$9D9732D3-EFD8-4014-BABD-203C9FEF88F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q908686$A3063394-DD4E-40E6-A48F-097C4F9AB685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c5d14cd7bbbf3aa968494f12ddecd8a603289b","datavalue":{"value":"definite clause programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q908686$E2EC5E02-E2DC-40AB-8AFF-63BC27FAE78B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a1e5484669c69456fb8791c8fc19ad6a9d1f1e2","datavalue":{"value":"Q122908310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908686$3309DAC5-D3A2-4197-BA08-E224235E9947","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":"Q908686$16C7DC4C-7CAE-4961-83C9-AFAFFAD7C444","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b701752735fa83282458f2c860d46e5c8f21c5","datavalue":{"value":{"entity-type":"item","numeric-id":4692876,"id":"Q4692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$690D42FA-4154-46D5-B0FD-D5AAFD3BCC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7099d080f4773b398e16a174ba14d42cd55b6","datavalue":{"value":{"entity-type":"item","numeric-id":3773305,"id":"Q3773305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$0C24C2C4-112D-4F54-AAE3-C003B698649C","rank":"normal"},{"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":"Q908686$EA52D9E0-9315-47CF-9108-B86EF393F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$45569B05-7A63-4514-A659-C0ACA65918F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$305985C9-A952-468F-9EFC-DFD1696993E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b944f52b471246d54b6842ffde96a1c7e0e8df","datavalue":{"value":{"entity-type":"item","numeric-id":3490933,"id":"Q3490933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$35B5B5DD-73CE-4738-B2E9-52BDDDB8E9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45be25d862c8cb6b26e18930a22f3e57deb9cf42","datavalue":{"value":{"entity-type":"item","numeric-id":3745245,"id":"Q3745245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$D5333747-E3DB-4F4B-80A3-CD566602A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$AB8FBAF3-932F-4EF0-89E7-8941275F07D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$930AEE66-ECA6-4EB7-8476-E67E979D45A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aadcb8c81c7b29f402a1de1b43bf564b6856cc0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$2E7A66A0-4D42-40BF-BA2D-71C2F6AA60B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$134AF037-6E2C-4B1B-8ADF-2EC5FEC8A01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$7FD92B49-0672-42A1-B1F0-BBD0BB00BC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3383c48f5a92254ab8920243a51a1acc0b6a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3830520,"id":"Q3830520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$6AAB5CCF-32BC-42D5-8F6C-ACFC4027DDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316d931d2a8121e888fa126bd4d1245756431ab1","datavalue":{"value":{"entity-type":"item","numeric-id":1094889,"id":"Q1094889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908686$E33197A4-6651-44F7-8A9B-9A4EDD9E3CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa0233ae7f3a7c620cd55255eb26b5f92288480","datavalue":{"value":{"entity-type":"item","numeric-id":3830520,"id":"Q3830520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be95f3e66aab141be4ddff5bbbb0e42baeb18d35","datavalue":{"value":{"amount":"+0.860833466053009","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":"Q908686$7D5AF7EB-A0D3-4A83-8C69-7301ED23F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e640e0b096b62fb7b7b757a42951d65f787da9","datavalue":{"value":{"entity-type":"item","numeric-id":5688888,"id":"Q5688888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4128eea23917407e80880b08c1e3dc3019eaa5","datavalue":{"value":{"amount":"+0.8060858249664307","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":"Q908686$CF9AC375-245A-48D5-82B1-2273D106E49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ec45cd783268f4a3421b25f46f7d2ad5f8af7","datavalue":{"value":{"entity-type":"item","numeric-id":1314418,"id":"Q1314418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3f212bd92227f21bca9c7cae19c7535288e783","datavalue":{"value":{"amount":"+0.8033072352409363","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":"Q908686$48BB5D72-5397-4281-995B-8DD8A31E0460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db798162da9c996084b740456339b092a7fda2da","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea5e9b5b327f1cc5d423f80cdf307460bf4a71c","datavalue":{"value":{"amount":"+0.7508525252342224","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":"Q908686$6F88549A-58DC-4C27-B99B-22FFF7786BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779aa4f2e95d3d3e046cbe92464281ba0bd157d8","datavalue":{"value":{"entity-type":"item","numeric-id":2767046,"id":"Q2767046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40317bec859d63e763df59cb43eac4b3b54d307c","datavalue":{"value":{"amount":"+0.7484851479530334","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":"Q908686$2BC3B605-376F-4928-9CBF-12D5604F5124","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:908686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:908686"}}}}}