{"entities":{"Q1854446":{"pageid":1865188,"ns":120,"title":"Item:Q1854446","lastrevid":69361488,"modified":"2026-04-13T06:29:38Z","type":"item","id":"Q1854446","labels":{"en":{"language":"en","value":"A theory of observables for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853191"}},"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":"Q1854446$7D0F94C8-4E96-4A4D-BCA6-3EFEA53C4370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47c126e8e7a40b30eec10f459a8a0e42ac252374","datavalue":{"value":{"text":"A theory of observables for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854446$F3FD0F63-38E9-4DB1-A46C-8047FEBB89BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0f836200b0486e012f19658d9c98b3fe0212a5e","datavalue":{"value":"1007.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$8E78AB37-6C2B-425F-B3C9-4B7447843A78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$3FC6445E-8393-41CD-A29D-24A7896E8B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$0E671353-33E8-43D0-B5CF-53CDD8E9DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$5103658C-1A85-4416-A986-218A96AA1908","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":"Q1854446$9ECF9DDF-42D3-4B46-8CB7-D0F847D8240C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854446$8C1BD1CB-07E0-444A-8050-B67F22C37779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$784515C7-A8C4-4A85-A2C7-D5D2FB10F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$2193C8C8-5393-48C7-BA41-AF9493DEB65A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a98aea528e653e8ff2cb4492eb74d8c8a58981db","datavalue":{"value":"1853191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$12058B04-15A5-482B-ADDE-AB0D6EC6AA6C","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":"Q1854446$2E866123-4142-432A-A48E-5A1B6970D2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75fce0d97ac19085b0cdbdcc4d994394b841555b","datavalue":{"value":"https://doi.org/10.1006/inco.2000.3024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854446$91CA7BC1-5C29-47DC-8D4C-F642CEBBDF62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c7d4e84df6922f9edbbf0975feac963701a6498","datavalue":{"value":"W2068328548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$AB32F404-2DBD-4D8E-A0B5-35DF2CBD6241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$93AC9559-5CF4-4C33-AC3C-34BAFA629E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26d27e2744e8b6ab9b1fa6716abab7b968cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$F172B020-8DF5-49B1-852B-E4E7C5EBF774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$35198421-A7DF-4EF4-8492-E6910FBEEB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56700712d39e9edb58cee423bab0a8db117d8ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$FAB56129-4915-443C-92B4-F60CA6220CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$6DBA4CFC-A7FE-42CF-95BD-602C6F8E64F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3392c00211215ea2b6bc16d14713823091e58c9","datavalue":{"value":{"entity-type":"item","numeric-id":1274454,"id":"Q1274454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$FCA3D769-9084-4362-BF5B-D9BE9F0B2834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$14F20991-1A45-42C2-8656-69B0340D1EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$BECC35A2-C808-4329-9B50-312D09B6B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945e59884de859946937ac9ab7f6161a7b029a3","datavalue":{"value":{"entity-type":"item","numeric-id":915476,"id":"Q915476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$91E10D30-19F7-4B87-A3A8-A6B336AE5F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$2D3AA092-E61B-4B9D-B310-11064B9AC9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$3915359F-2123-40FE-9DFC-1D44F1B873A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf26eb6ef0a2cb5ec8accba41f732c223856278","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$074EF6FF-D613-478A-9F7C-8C23459A7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2114c9350b1f720e1f9db06bfc016c47c75de","datavalue":{"value":{"entity-type":"item","numeric-id":4895546,"id":"Q4895546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$E50D838F-9E1E-4449-9BD9-95E5B8F6C672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e640c9f35893b4c0cbac8cf11b1607e0636da0b","datavalue":{"value":{"entity-type":"item","numeric-id":4593956,"id":"Q4593956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$C84028BE-F221-419F-9C74-C37F8ECD345C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6f2d2f1efa1751b23dc7f84c49c86028c1b843","datavalue":{"value":{"entity-type":"item","numeric-id":3128618,"id":"Q3128618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$0098C409-94EC-4364-AEEF-2C0C93CDB35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$B36ADBCD-6CE2-4576-A83A-10E8DB8E7D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d47bb7fb1922c0d00db07bc0f04b9998a7309d","datavalue":{"value":{"entity-type":"item","numeric-id":4938429,"id":"Q4938429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$168412C7-7EE2-45CB-8461-4AEEF4C53A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfba8b852c237e68b49ae008bb76f1f25f6a7a38","datavalue":{"value":{"entity-type":"item","numeric-id":4494369,"id":"Q4494369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$2D73BFC3-D435-49A8-8F37-70BAD928A229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b701752735fa83282458f2c860d46e5c8f21c5","datavalue":{"value":{"entity-type":"item","numeric-id":4692876,"id":"Q4692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$7B684F17-816D-4C32-9C9E-C61D4F6EFB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62adc48f28f70a2c3cde2a5124aceaa34c03e9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4217939,"id":"Q4217939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$0D2DAFE2-0DE1-45DE-8E01-4B4275D28DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$95A6932D-E39B-4C2F-85F3-A91320D8CAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1026d236b4f519dd3f4fbaf30353e88d7f180514","datavalue":{"value":{"entity-type":"item","numeric-id":4938428,"id":"Q4938428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$E1E64BBB-DED3-45AF-97AD-8237A96C9C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357bdfb4c5e9980ec5522cdcacc1a9153d4ab8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1605228,"id":"Q1605228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$5D1935F8-8DEB-48BC-8DC4-8EB370ACD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c354e46dae3b4cec8334dce56537996bccb0ad6b","datavalue":{"value":{"entity-type":"item","numeric-id":4934231,"id":"Q4934231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$10775F9F-9DCA-4FF4-B123-4913995131FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4df756cfbed8d3ffafc5f7815191575274df0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4217929,"id":"Q4217929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854446$62CC24B5-4F26-44D7-9290-D445C0C148C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b333a9ccf4627b7373633924d3e37fd5868fdf95","datavalue":{"value":"10.1006/INCO.2000.3024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854446$29DD9FE1-829E-4E1A-94CB-8147CB2B3E62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba21e1fe296eddf02924e062783e3eadbcc1655","datavalue":{"value":{"entity-type":"item","numeric-id":4896503,"id":"Q4896503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14260aa3a3ecd771f4bbdb9c0c555e260331afb","datavalue":{"value":{"amount":"+0.8425946235656738","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":"Q1854446$17F664E0-7505-44ED-B99E-7D13E4BAD699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af209fb43d667dd63ec54ea4452717274f7adb7","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dc2e0da5a55c34033581b89c7ba2401f609e10","datavalue":{"value":{"amount":"+0.8268538117408752","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":"Q1854446$5248B4B1-A039-4A49-B285-5C2D37321121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e353b32ea067c6b5a186c6f49afcbe4ba65d58","datavalue":{"value":{"entity-type":"item","numeric-id":3578389,"id":"Q3578389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f315ca35e905e4e7b0a71eeb7f0e0913e2a6f646","datavalue":{"value":{"amount":"+0.8260012865066528","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":"Q1854446$BEC63515-F66E-4B6D-8325-5F5A6E81EF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f3e11bb3522cdd4e61cd76c96cc733ca793ad0","datavalue":{"value":{"entity-type":"item","numeric-id":1274454,"id":"Q1274454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e15fc5ecc6477621d3133ae3c3b8700c570d37","datavalue":{"value":{"amount":"+0.8211998343467712","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":"Q1854446$A60CCFF1-17D5-40CF-ACA5-CD5CA407EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec00b233c290ee07150de8174f0acc7738556e79","datavalue":{"value":{"entity-type":"item","numeric-id":4763533,"id":"Q4763533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dee0016ff1742996bddbea52a60201e1cbaea30","datavalue":{"value":{"amount":"+0.7951012253761292","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":"Q1854446$5D99F254-D2F7-4FDB-AACF-0DCCC63B3E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of observables for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_observables_for_logic_programs"}}}}}