{"entities":{"Q2883109":{"pageid":2893834,"ns":120,"title":"Item:Q2883109","lastrevid":83898914,"modified":"2026-05-07T13:33:49Z","type":"item","id":"Q2883109","labels":{"en":{"language":"en","value":"Logic programming foundations of cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033359"}},"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":"Q2883109$0A75B3F2-E7F0-47E9-AE99-559188610D10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96731832ba964ce47b5d87e63017b9ccd1324067","datavalue":{"value":"1237.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883109$3F7EC7DA-54DE-473A-967E-06C1E3F7DBAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412b5a81d3856c0049eaffb7f777fdbc9362e75f","datavalue":{"value":{"entity-type":"item","numeric-id":2038028,"id":"Q2038028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883109$F310467C-1FB9-4D5E-AE3F-2F0CF9934952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883109$8215205C-D13F-46F7-967D-6434619BBE8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67dfd61fd8ca3d0d74a5497cc7c2d84ee251120f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9aa1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883109$6700D54B-4E93-472B-AAD4-4E3396A90847","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883109$19EF9C9A-87CA-4F14-AF76-C3E8FE1D171F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883109$450F02C4-7E1E-4536-9872-F2348D11D0BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225a544e3254691d63704c6591d6c7a50b27a76d","datavalue":{"value":"6033359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883109$39F491B0-BC24-4DA5-A6CC-E8A0E3ECF171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883109$0B79E02B-0B06-4037-BC4C-A01E16693B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af100daa0144238fad830738195cae0172e59c40","datavalue":{"value":"constraint logic programming over reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883109$040BE0A8-0E55-47DA-AC9B-8CA78F2EFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e28abc9ed4103b97c3b983522b8597ab9f30596","datavalue":{"value":"co-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883109$63B0775A-C1DB-4213-9DEE-DB206A0C154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9b5646dfd14bd37cbf3b239abbcf735c886fa1","datavalue":{"value":"coroutining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883109$733B4893-2AE5-460A-8081-B8FA9B574FFB","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":"Q2883109$83A1622D-BFE3-4D14-9973-F1E504EBF72D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f05012665bee83371621464e3d1ba5d8dcb34ab","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883109$4FED4E61-D444-46B5-9A5C-A55A69B86F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"259abd71a31a53e4bee4af8e3974f047f47b12a8","datavalue":{"value":{"text":"Logic programming foundations of cyber-physical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883109$EAD6278E-3982-47AC-9E5E-5B478C4F62CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b9dd2495f7a89d87162a85349cdcc6a50c53a","datavalue":{"value":{"entity-type":"item","numeric-id":2842648,"id":"Q2842648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d775c0cd920aeef06044adce654bda4b6ecb23","datavalue":{"value":{"amount":"+0.7642430067062378","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":"Q2883109$2722EAA7-F7C8-48CE-8BD5-6C2AA4A00F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c54200cf6410ed81b5a7a793c4072b466a8446f","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93160ca4bb605740055842839c05910b27f1394","datavalue":{"value":{"amount":"+0.7614644765853882","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":"Q2883109$E185BB0A-46A8-4BDA-B88D-C27C627FAF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e462de0d4bcf9859ee68f461e8ba4cd8dc7781","datavalue":{"value":{"entity-type":"item","numeric-id":2814619,"id":"Q2814619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02626afcff8a96cffd168960d3a778f329e304ac","datavalue":{"value":{"amount":"+0.7320873737335205","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":"Q2883109$23A3BF7F-D224-4161-9AD3-F2217F9FC65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b327139531fd45c28ef58472ed77ee0dae0329","datavalue":{"value":{"entity-type":"item","numeric-id":5738991,"id":"Q5738991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81d16f90c16143e3dd3c550cb5307764238b2a0","datavalue":{"value":{"amount":"+0.7182289958000183","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":"Q2883109$D6A3CF6D-D195-4095-B1D2-F70489D28416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fae2b07b7ca9f5f126e1d9f2fef38aa00b9ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437cfb55824c4427d055faf2daec06fe7bfe0593","datavalue":{"value":{"amount":"+0.7124499082565308","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":"Q2883109$84EF44D6-4C6A-4C6A-88EA-F72405B6AA5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming foundations of cyber-physical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_programming_foundations_of_cyber-physical_systems"}}}}}