{"entities":{"Q2842597":{"pageid":2853317,"ns":120,"title":"Item:Q2842597","lastrevid":83484722,"modified":"2026-05-07T08:14:16Z","type":"item","id":"Q2842597","labels":{"en":{"language":"en","value":"Vague domains, S-unification and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198639"}},"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":"Q2842597$2C38E075-FE57-4FAB-B5A6-624508422EF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f7e4bee1b4d0c149e82b721b3b3d2b62b83cb7","datavalue":{"value":"1270.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842597$1B399408-738C-4D0E-ACCB-6F3CEA507565","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3853cb7cd8b9db0a4eaf3b439ae9b7cccc97364","datavalue":{"value":"10.1016/S1571-0661(04)80516-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842597$3FC45C11-0311-430F-B626-F09EAE767D77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439c5f118e5a0a9cab0bec9d2f7b252666a9ae0e","datavalue":{"value":{"entity-type":"item","numeric-id":2842596,"id":"Q2842596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$FF1F845D-069C-4E24-A710-8F87CC093A8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$8178A431-64EF-44F4-B49E-C9E0EBD34F3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842597$D4E7F02F-B3B7-4371-A19C-2ECD8293F1D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842597$59CBC6FB-0E52-4D46-8063-1179E137C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842597$918316C0-11F7-4294-933F-9803E36755A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5ede6e07d85352dd4bcd87cbdb3269fbb155ba","datavalue":{"value":"6198639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842597$2CC3A567-52FF-4B0E-A0CB-AFCDFC7B838A","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":"Q2842597$DA989163-E665-4DEB-9249-57509629B3A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0680adabfd3136a28982fdc321cf3395011301","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$D9EEB34E-DA44-4676-A159-9AB12A2E80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$3B16D082-92EC-406A-8E39-FB21C375A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3521ad851ffa825dc2f02b93da3be0aa99043a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4716901,"id":"Q4716901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$FB068CA0-101C-4415-AD5C-A8D74E31B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748ff6f9e53b6d422dd6177e8d0ff6b11b9a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5656745,"id":"Q5656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$75A70E75-BBDB-4B2D-A452-8F6946E04E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842597$0B3D70F1-CB9C-42D6-ADD6-42F8240DE421","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edccbbb7acc8af1c62d1069492dc62fbd3e65823","datavalue":{"value":{"text":"Vague domains, S-unification and logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842597$D67303A9-49FE-4968-974F-8D13DDCB9C24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5e67ca2de1effb3ad9a2e0a67e501e82bb28f7","datavalue":{"value":{"entity-type":"item","numeric-id":4805683,"id":"Q4805683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610d770d1f0e046d30d9740d65453c54bd743a71","datavalue":{"value":{"amount":"+0.7956469058990479","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":"Q2842597$E937CFDE-F346-45B3-B4F5-475DCC1EE33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c153207c73555234a5b7490491f1c739cfee08","datavalue":{"value":{"entity-type":"item","numeric-id":1607217,"id":"Q1607217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5e24b8270cb99315cbe609ff296051c227b566","datavalue":{"value":{"amount":"+0.7952162623405457","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":"Q2842597$DED5D2F7-2386-4EB3-AEA1-9F3AE7A60A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be880b7e9ec80d4392f029e0864ec76e170d856","datavalue":{"value":{"entity-type":"item","numeric-id":1876499,"id":"Q1876499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f80c22b885baedc5e44411bcb343d807ebf9d7","datavalue":{"value":{"amount":"+0.7825472950935364","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":"Q2842597$304238C2-4BB8-46D9-9D0B-BE8F10DC186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76614459f6ce7ac8fdc952bf794f32cb4cb59e3","datavalue":{"value":{"entity-type":"item","numeric-id":5389675,"id":"Q5389675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d51ffd0c95b50df31ace3b9da61fa1cf9d68baf","datavalue":{"value":{"amount":"+0.7790778875350952","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":"Q2842597$393A190E-C0AF-4521-9240-2580BEC15EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bd44dd18a28783af0c426bbe01a947ee3ec43","datavalue":{"value":{"entity-type":"item","numeric-id":6215466,"id":"Q6215466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9d248f25ae95932bb7ed8f22bc872a0eaced74","datavalue":{"value":{"amount":"+0.77537602186203","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":"Q2842597$4621DDCB-C20F-4006-8FC6-FC793DBF7010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vague domains, S-unification and logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vague_domains,_S-unification_and_logic_programming"}}}}}