{"entities":{"Q1900314":{"pageid":1911056,"ns":120,"title":"Item:Q1900314","lastrevid":71736639,"modified":"2026-04-14T00:12:51Z","type":"item","id":"Q1900314","labels":{"en":{"language":"en","value":"Recurrence domains: Their unification and application to logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 811003"}},"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":"Q1900314$E7F6C043-C3C5-443C-8920-7FF2B47FC814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e22f0b628c933192cb3b5c5b5b4356adb8382b","datavalue":{"value":{"text":"Recurrence domains: Their unification and application to logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900314$9F5458BA-1E93-4CA3-B5AD-E74269AC76C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fad6c172768eec83156466b8a24bbb41df67c7","datavalue":{"value":"0833.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$B9933BAB-1003-402D-BA05-81C10AB5935F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9f3aea34a6b90d61cfb9e37290d482d0054a5d","datavalue":{"value":{"entity-type":"item","numeric-id":192394,"id":"Q192394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900314$493BC85F-B6AF-49A1-91F3-EA2A6BCC30C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900314$E6687617-21D3-4027-8C77-56373E0240D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900314$325ED457-6DFC-4BBC-A52F-EF2EF541C902","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e12e6021dba48c45d122c66dfaf8edc484cdc46","datavalue":{"value":{"time":"+1995-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":"Q1900314$008E6A76-20B1-4107-9F2D-4FA937FB7F6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$D80128CE-99E3-4062-8B92-A34FACA0901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$7BC69EF5-4227-465F-9813-669E60FC7A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7c3760d5de9d5cf844d8a7ff0ea68aa941de16d","datavalue":{"value":"811003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$1CE4AD06-B869-420E-84D8-BC81E31F6D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909fc08cb0a5708ed53570a33dc8156fea8fee41","datavalue":{"value":"Horn logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900314$EF139501-FBD0-495E-B800-3968797C8A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36bedf72b348a76cb1f7b6822d01f8ce438339f5","datavalue":{"value":"\\(\\rho\\)-Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900314$D4410B36-60D9-47F6-A634-E237830E98D2","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":"Q1900314$18EEC66E-6561-467D-8DE4-EE400C74B56D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c5c7df6168f19f7f04dd10a01a3ba7b1bc35a30","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1140","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900314$B327A5F6-3EC4-4287-9BF0-8EF3CD28E575","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daa628eea7cf86907c7e6e2fa4fceccab9ce7fea","datavalue":{"value":"W2064797748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$04D0408C-0F2F-4803-96B8-25FFFA697786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3625df35befa35cc389eee83e3f34deb985e668","datavalue":{"value":"10.1006/INCO.1995.1140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900314$AC5EC272-9E35-4AF9-9165-0B5AAA4ABD32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49283f14c7cc27f0d17b2a320f270711e5a0367a","datavalue":{"value":{"entity-type":"item","numeric-id":4036550,"id":"Q4036550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a1314a193771d4543fc9dd69974970057bdaa9","datavalue":{"value":{"amount":"+0.9264848232269288","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":"Q1900314$7E8B96D9-DD42-4337-B6CF-601ABBD3EA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ebe046153d602edbcd525f0f697729c1eb75a9","datavalue":{"value":{"entity-type":"item","numeric-id":3991208,"id":"Q3991208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29634a9faa3a771d6911ff23cdd511b82f766d87","datavalue":{"value":{"amount":"+0.926452934741974","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":"Q1900314$E5381E42-0747-48C1-A69D-1C8752D2D802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69a0dc0cacdb2f2a35140f61babd5e67a8846e4","datavalue":{"value":{"entity-type":"item","numeric-id":5881270,"id":"Q5881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a513b1ed15c00719c79392efe73f98ad608109","datavalue":{"value":{"amount":"+0.7711989879608154","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":"Q1900314$D6112231-3C81-41DD-9237-ACF162FECFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f9c2f71f82915a94d53fc3cd1fa7d2d5cd021d","datavalue":{"value":{"entity-type":"item","numeric-id":812390,"id":"Q812390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fa579fd105784af58071d1fe628ccdee1a743b","datavalue":{"value":{"amount":"+0.7613285183906555","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":"Q1900314$8E9FBAD9-BDCC-4F33-9280-25119934DBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c64e5368e4d9afa82497c32fa73688396e4c09","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166336ce7d4627d4a37431142c958042cbfdbfdd","datavalue":{"value":{"amount":"+0.7573280930519104","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":"Q1900314$90277369-A798-4825-854F-BFB681F5DA33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recurrence domains: Their unification and application to logic programming","badges":[]}}}}}