{"entities":{"Q4730754":{"pageid":6760331,"ns":120,"title":"Item:Q4730754","lastrevid":49309561,"modified":"2026-01-06T22:50:10Z","type":"item","id":"Q4730754","labels":{"en":{"language":"en","value":"A logical analysis of modules in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115929"}},"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":"Q4730754$16A095E6-DD91-4255-A3D7-8EBF301ED664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a76310f6d25f2e1e92bdbc2e46d9bb66d8f3b51","datavalue":{"value":{"text":"A logical analysis of modules in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4730754$B0AE54D9-2F23-48F3-B245-D085E5642A5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8189ad595aca8b8f92c05e14b6d8db81c82d9b2f","datavalue":{"value":"0681.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$445EE9BD-8CF7-48FF-86B5-506B83287B43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7232635173cd35aad70394730fb6196cdf05365","datavalue":{"value":"10.1016/0743-1066(89)90031-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$3C981A80-8068-4A50-AD94-7E40DDB7C9CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4730754$C2CF6253-FD9F-4750-868C-880FA0EEDA5F","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":"Q4730754$BA20A4D5-5328-4425-8D84-2901A9D5F945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$435CC2C8-48C2-4BDE-818D-B4BF291F5361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$86565C62-C1A2-4614-8E0E-AD4C8A16C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$EA6C4AEF-4E8F-49ED-BC3E-C97B56C65992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$87AE7AFE-01DB-43C2-AC69-7A91BFF974E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$71FC8F1D-D94B-4D5D-8604-EA6BF5D00137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33496fec62b499c8cc9bc70b317b22838e3d0feb","datavalue":{"value":"4115929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$3A26AE01-9D2C-475D-97B5-CDCF57AE8F35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730754$499568DD-B7BE-4326-A9CD-BB7FE1F29FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730754$32B424FD-2521-4958-9AFA-EC9B45D47C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730754$B08EFD89-9003-4B79-A468-2ABAF226EBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4730754$1CAE85F2-34AE-40E6-9ABC-007DAB009DC3","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":"Q4730754$DC898F4D-5EAF-457A-9784-387EFEE51E09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e56852c9848779507fcd2c98e95e762db29272c","datavalue":{"value":"https://doi.org/10.1016/0743-1066(89)90031-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4730754$177B2862-A3BB-4C05-9C1A-78E28A56FB3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c61788dee5cc8023457cc840b04d5feb75956a1","datavalue":{"value":"W2052436826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4730754$BF7B0A63-CA1B-4A67-B49F-65858110371E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d9cd102feb4f22b67cf158fa4fad20c02b29ed","datavalue":{"value":{"entity-type":"item","numeric-id":4311648,"id":"Q4311648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f8ce4ecb2cb695a4cb86b297114e0e48cc2190","datavalue":{"value":{"amount":"+0.8023122549057007","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":"Q4730754$A7CECA2A-89C8-4A87-BE90-E9C3E7A83599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b580617b86b2ddc3c83368dea20364b74b46df","datavalue":{"value":{"entity-type":"item","numeric-id":3992238,"id":"Q3992238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8001cfe48051e8b26481e2791f676913d93f129","datavalue":{"value":{"amount":"+0.7961423397064209","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":"Q4730754$D03C8D1B-C040-4A27-9C3C-2DDF0772C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e29c8b0ed7758f646542ada42e9696456e7142","datavalue":{"value":{"entity-type":"item","numeric-id":4211444,"id":"Q4211444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97cd30b804e85beaeef105b6ef9589e30eff0cc","datavalue":{"value":{"amount":"+0.792847752571106","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":"Q4730754$97F0A9E1-EBA3-48A1-870C-DFE477D48087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670554c1c68c1a27c15588b4b51133bee292cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":4221295,"id":"Q4221295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97cd30b804e85beaeef105b6ef9589e30eff0cc","datavalue":{"value":{"amount":"+0.792847752571106","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":"Q4730754$FB1934F8-7BAA-46E6-B606-91E0196672E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d186ef321d1685a57d306478dff316330dde914","datavalue":{"value":{"entity-type":"item","numeric-id":1186427,"id":"Q1186427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7737bca2e201e3dcd67daf13c6830c715488a1af","datavalue":{"value":{"amount":"+0.7926422953605652","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":"Q4730754$05A68FE4-2668-444B-8F9E-CE97CE05E1B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4730754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4730754"}}}}}