{"entities":{"Q3916005":{"pageid":5945910,"ns":120,"title":"Item:Q3916005","lastrevid":54979273,"modified":"2026-02-02T11:54:45Z","type":"item","id":"Q3916005","labels":{"en":{"language":"en","value":"Derivation of Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3727603"}},"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":"Q3916005$15EAE912-A4E9-4F20-B3B5-E110F09E07BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72198ad32d8fbb58951ca7e49c967925399680db","datavalue":{"value":{"text":"Derivation of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3916005$EFF8EE01-4B09-428E-A610-3545B6FF8A5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5549cf9c6b63061c22c755071231e318ee83f5d","datavalue":{"value":"0464.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$4791380F-4264-4C48-AB22-27A2CFCCB26B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca4f050e81a46b56e941c6f57c5e0b4033ab0a73","datavalue":{"value":"10.1145/322248.322258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$02386401-84D8-4773-A64C-317CF8F1CD8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916005$9DA01232-F32F-4DFF-9DB9-6371780A2020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3916005$A2BF72FD-6A42-450C-9CC8-2C8149545393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$C24AE450-A188-46FD-AFAD-9C791E11DDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$6FCB9E73-6D24-4E2E-987B-6EEADDB0949A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6d4949c3b27b4b42f5fd469e6b7336a5cbd2be8","datavalue":{"value":"3727603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$D6BEC314-466A-4236-AF30-77799D098EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916005$5F229BC1-E4B5-44F5-97D0-8DC3A998266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916005$A4EB6538-5067-4505-9E44-7455201E2319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916005$5EF0C6A7-3066-4D12-81F5-11720D75870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916005$6C859AFA-F013-4323-8481-AB4183C4D152","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fb0bb13ba569405da14243569bb5cb62772cfba","datavalue":{"value":{"entity-type":"item","numeric-id":1326575,"id":"Q1326575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916005$A4885DDD-A8A5-476B-89A2-F8562BCB4694","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":"Q3916005$379A3F42-3331-4ED7-92FB-CDA64A426DF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"781b2ad7d896a3ae9a3acd2d320ee591075dc634","datavalue":{"value":"https://doi.org/10.1145/322248.322258","type":"string"},"datatype":"url"},"type":"statement","id":"Q3916005$3AEE4931-13BA-41D4-AF28-46732F295271","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed57fda150df6b735e1def7dde0f743677acf8e","datavalue":{"value":"W2056168527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916005$9665C7BA-9A6C-4C92-A05B-BD36521EB1DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3916005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3916005"}}}}}