{"entities":{"Q3341879":{"pageid":3352587,"ns":120,"title":"Item:Q3341879","lastrevid":48752149,"modified":"2026-01-05T19:04:19Z","type":"item","id":"Q3341879","labels":{"en":{"language":"en","value":"The relation between logic programming and logic specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876572"}},"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":"Q3341879$8CA671BD-6CCD-4F38-8C36-3F4B2B6D4284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c1e806689dcb3b1f3eab4bb8a8f3b6db537d5c4","datavalue":{"value":{"text":"The relation between logic programming and logic specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3341879$F3E9752A-1E5D-4DEF-955B-657FC661A45A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784e16654df547be60a6c236e7125fa15a136ae5","datavalue":{"value":"0549.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$061BF2CC-F09F-49E0-ABA6-221B1B1DBBDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e136bbdda99981f780084921153c27ffb0ef7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3028582,"id":"Q3028582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341879$F7EF618E-8946-4EDA-BA0E-DDD3DEECF035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3341879$48C715B3-7261-4EEC-A26B-012490DC0226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$15EABE51-F1CC-4725-BF3A-A66874999CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$8E551873-DE47-43BE-87E9-4D7C0E7D0935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$9D6AE963-52A6-40CD-92B8-F6CFCCB508F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$83CCE706-3B96-43FA-8CB1-0F3D8A225569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$9B96795C-0409-4ED3-ABB2-A9222CC5A243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$A515AF71-40AE-489D-B6BE-6B00D38BB8A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7411e8560d2ddaed09d8569ede98fd125dc885c0","datavalue":{"value":"3876572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$16553CD9-8126-4E39-949C-6A063D095E89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341879$28FFCB7C-5C5A-4ECF-A65D-B68D6D6CF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341879$90E04A48-1EBE-4402-9A2A-64327B33B17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341879$C76EFFEB-0E89-49D7-A81F-053277ACBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341879$3523D6E0-3337-4DB4-86A2-0D56C3C01B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341879$E0145AFF-D3DA-4814-A6D7-FF296D2A9D2A","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":"Q3341879$A5C23EB7-0641-40CF-932A-F1890EFC7388","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99b6adaf3360d2a62e2808bec426e7380011d21b","datavalue":{"value":"https://doi.org/10.1098/rsta.1984.0064","type":"string"},"datatype":"url"},"type":"statement","id":"Q3341879$2D7D7F8E-D90E-42AA-A8C8-4FB5A779CD3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc858511e876c57547162c572e19f2e9e7e0d9f","datavalue":{"value":"W2042427946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$84F83FB4-F583-41B7-A1AC-3287733A0AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd30c27e5e9d8a07a6301ae0162f59197bbba220","datavalue":{"value":"10.1098/RSTA.1984.0064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341879$565EFC39-052E-4B2B-9921-71CF22518AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec6c1125cf6e665825b77f7484c500a5a7fc62f","datavalue":{"value":{"entity-type":"item","numeric-id":1186100,"id":"Q1186100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2b83f50f2a39825393ad00c101f201ac7f8936","datavalue":{"value":{"amount":"+0.7857000827789307","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":"Q3341879$6C07BF5B-2DD3-45C8-9DAF-E2072BF9F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc72f379c3c8defc26de74cb9a8cf200c4555b7","datavalue":{"value":{"entity-type":"item","numeric-id":4365066,"id":"Q4365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dc1d43f8f5a6f7fde8bfec8b8fdd38c38235c9","datavalue":{"value":{"amount":"+0.7820085883140564","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":"Q3341879$E477593E-274F-4978-803E-C16432BFEA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625c29a357fe64598c5a92b1711c7e6f96979381","datavalue":{"value":{"entity-type":"item","numeric-id":4018961,"id":"Q4018961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33c03fdd0bc83e960c50153e6695b945bc5d85","datavalue":{"value":{"amount":"+0.7721346020698547","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":"Q3341879$5D013D3A-25A6-41E4-9E1A-313D5B1C1CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a220dfb8cae3643bd534a3da77ffb94fa9a8a709","datavalue":{"value":{"entity-type":"item","numeric-id":3690195,"id":"Q3690195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6806e65a051b89f8cf68707e0b4ddefa5cdfc1","datavalue":{"value":{"amount":"+0.7649495601654053","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":"Q3341879$CFBB10C3-49C4-4ECF-BE13-D1E160459861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b3a2186efd3c14e086c29be3de127219c763f1","datavalue":{"value":{"amount":"+0.7576660513877869","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":"Q3341879$9251DC99-CB43-483A-B2CE-982DE4635840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3341879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3341879"}}}}}