{"entities":{"Q2503328":{"pageid":2514071,"ns":120,"title":"Item:Q2503328","lastrevid":49917385,"modified":"2026-01-12T00:51:58Z","type":"item","id":"Q2503328","labels":{"en":{"language":"en","value":"Multimodal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054320"}},"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":"Q2503328$CD4752E0-3AA0-4D8A-A815-76057D59956E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b146732f4371094d4a78ba33d2c958c4c444cbac","datavalue":{"value":{"text":"Multimodal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503328$850667DD-BCAC-46EA-9C37-4BE6204E9B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d379d13775a6476bcadb59476f0a27b82cf4abc3","datavalue":{"value":"1103.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$7752B966-6139-485B-9DD1-69EB526139FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$893F65C4-E175-49BF-A81A-EAFB0D6CFAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$A5E2866F-19F5-4D40-AB0C-B4FB72CC7D01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-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":"Q2503328$6F8A3EB2-B508-40F4-B540-F8D60E8CDD75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$D37A1184-CA55-442D-9609-E73B4BC97CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$361AFB2C-177C-41AA-8F1B-062F4F8225BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$F0B3BD7F-1F66-4848-9576-414D06B8E168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$3229FF34-53AC-41C5-B30F-EA3B9791A630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58690f412547c1efa487d434eebb37d5f08d51c3","datavalue":{"value":"5054320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$62E95155-F355-4B9A-B826-7A6EF3A72E3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503328$C5CEB8B2-3850-484B-AF3B-4D049261EE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503328$AE412B2C-013C-41B6-9331-F015DC0C79ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b02f091a8a70a1aa83d5342c5afc1d26649001","datavalue":{"value":"logics of belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503328$4C956430-3ECC-4D7F-A327-8CF683C2906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503328$3D74F9AF-A4F7-4FA3-B118-483C5C7E1E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7204d73d693586f9ab72ba28454fc4c5d697b1e0","datavalue":{"value":"MProlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503328$ED9CBE21-A306-48B9-B463-3CD9F934239A","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":"Q2503328$7A278B1F-B843-4C8D-8FF3-5ED0E794F753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fc6d4bb3cca113f271a74340448842d80d242b7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503328$6DE37D54-0C66-4341-BCB2-1E7E4330DC5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"215bee40aee9ed81f3621a1eb40071a3c6f68a4e","datavalue":{"value":"W2164466347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$484FEA88-3BF6-4FC1-9F16-13A81E92A475","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e93f225a9fb65e4ce08a25ac30f0d68011d2555","datavalue":{"value":{"entity-type":"item","numeric-id":4681370,"id":"Q4681370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$F2C3663B-C452-4DB2-9F38-37CD43E6CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8312a0631653665978e88f5697dcfc69d08e9a26","datavalue":{"value":{"entity-type":"item","numeric-id":4428289,"id":"Q4428289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$6A459C42-F4ED-4D30-925F-385DA221FB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$B4D3E4BE-C835-46D5-AC21-1F54687DC141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13124647aec41624ea9daca375590716264aae74","datavalue":{"value":{"entity-type":"item","numeric-id":5688921,"id":"Q5688921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$98B988E4-7E0D-4935-AD7E-0D912F2EF761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5981093de7318a498b1240e582ae77ef4686c9","datavalue":{"value":{"entity-type":"item","numeric-id":2701979,"id":"Q2701979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$E5468F47-BDB8-403F-867C-DDCD475F811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$0195249F-A610-4B16-B0D5-8184AAC8CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e448b7a3bd445ba5e17cb646ae564e1df909bd","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$2881E6EB-FE92-441C-BA30-998EF23BCFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$DAA70319-0609-40FE-AFD2-0B0CF4F1B0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$49E68F10-3EE6-4DC0-905D-00778C67A00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$E78EF8CC-9968-4BFB-9CB9-8BD7024E2984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$FD25E9B3-0664-447F-827B-DB71F4C8982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$5F07B8F9-BCDA-4200-A93B-C716BF57393B","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":"Q2503328$16155EFB-25EC-410A-BFF8-7E590AA6B536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f722d8c2ba841a697ca759614ea3b487d05042","datavalue":{"value":{"entity-type":"item","numeric-id":4835902,"id":"Q4835902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$A0A0EBCC-91ED-4DCB-A755-BA772D59C6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fa2c18abe9d9add051a3384cecb73dbe21c434","datavalue":{"value":{"entity-type":"item","numeric-id":4500376,"id":"Q4500376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$2349942A-7038-45F2-B268-511D287B2035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f106bef306e512c37a33cdbb2d55cc0b148f9472","datavalue":{"value":{"entity-type":"item","numeric-id":4454845,"id":"Q4454845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$E97604E1-6206-4294-AF65-C75203B9885B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844b8cdca91a84ac1ecc7afa86bd159e1a7f9b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$2AD89EFE-BC9C-4452-9305-353F29495755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4602ab85d951a06675600e4b7ed960604dfa6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5394130,"id":"Q5394130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$DAC9B87A-AE8C-46B0-A451-332F549AAC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f5fe85b87f5e4d400ef5d33fa5e83ab25d4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5395098,"id":"Q5395098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$9F956CB7-0710-40A5-911B-F0C2D95A61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ddd5969b027023ed398a6ec0122155bc79b858","datavalue":{"value":{"entity-type":"item","numeric-id":3623962,"id":"Q3623962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$D4EF8220-A67F-42A5-831C-EDA5753950F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec310e5c5aa3f56b09bc606b61239b789faf746","datavalue":{"value":{"entity-type":"item","numeric-id":4537451,"id":"Q4537451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$4C725649-7EEE-47C7-8E0F-D9DA1C9C3AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$7C36C26B-0343-459D-BD50-42A79FECBD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9622e947104151d696e9c4af121c2448ea8528","datavalue":{"value":{"entity-type":"item","numeric-id":4518440,"id":"Q4518440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$3BC7677E-D888-43F2-8518-1E4C0A45755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503328$79C7B2B4-E131-426D-941B-F772C856DF1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c9405dfedf77624fab7581837264d3bb10a1a64","datavalue":{"value":"10.1016/J.TCS.2006.03.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503328$93EED3F9-D56F-4B37-8CDF-F4CEFEC4063A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854f95603a1001bf69cf314274c89b849ecd93d2","datavalue":{"value":{"entity-type":"item","numeric-id":5395098,"id":"Q5395098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b781e2feff1d43074c4c35e21957cfc705d503d8","datavalue":{"value":{"amount":"+0.906345546245575","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":"Q2503328$D146A6FF-F57A-410A-8EB7-DF13034BC727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a55e94f6099ffc982216ba04842319b5e4c428b4","datavalue":{"value":{"entity-type":"item","numeric-id":4454845,"id":"Q4454845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01d7c345903c125b276f7524ce307201648a169","datavalue":{"value":{"amount":"+0.8460128307342529","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":"Q2503328$3F989E5E-3500-47C5-A136-1C1E8C176AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa06d6539769fd18443e292a0da1fe6a99ccabf","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d751fd14d88f0796d0c64d8f084dcc4875e68c","datavalue":{"value":{"amount":"+0.8304707407951355","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":"Q2503328$58FFCF66-7974-4756-8AD7-50786ADD20DD","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":"eac894c19ff8d05dbff585967f179a5a7fc63b65","datavalue":{"value":{"amount":"+0.8301206827163696","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":"Q2503328$8AC4D639-A41D-42C7-A417-B6978137A91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f79b5a81aea1c129afaa571f8fc3ba807fc812d","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600e55e368a738ed657fef64dfc34df71256bac9","datavalue":{"value":{"amount":"+0.8264616131782532","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":"Q2503328$43D14DAD-86E7-4117-A3AD-05FEBE7B46E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503328"}}}}}