{"entities":{"Q2915060":{"pageid":2925780,"ns":120,"title":"Item:Q2915060","lastrevid":51558530,"modified":"2026-01-18T18:58:12Z","type":"item","id":"Q2915060","labels":{"en":{"language":"en","value":"Deciding the bisimilarity relation between Datalog goals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084933"}},"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":"Q2915060$82C56FAD-747F-4224-BED2-C4DE928E2E25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54b6e78902179e1d0c92b06d8358e80f7d0cc739","datavalue":{"value":{"text":"Deciding the Bisimilarity Relation between Datalog Goals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915060$C2069588-3397-4C51-9493-300349479864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0afb60d79d91d33505ec4a81668a64bfc0645ffc","datavalue":{"value":"1361.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$6B53B6E8-B96A-42AF-BC15-0F91CF427B9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"880b16df4d62d5f59455eb35d0ee9a6be218eddc","datavalue":{"value":"10.1007/978-3-642-33353-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$BF4C4255-F2F6-4F19-9428-252112C58C51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$525B8772-9B91-4BC3-B268-BF8D7735AB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c77da876eb803aedbde877813dd4b24a858e2a1","datavalue":{"value":{"entity-type":"item","numeric-id":2915059,"id":"Q2915059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$961B654F-5B9B-4561-9979-C3A8C9348063","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$2EF10919-E237-402C-ACCD-9D3FE812566E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915060$10ABAE76-0916-43BC-886C-ED43E94CEC80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$0F302F56-3F79-4A9B-844C-7E2FE15FFC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$6DB65574-CD08-48D4-9DA4-546D83B438E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9b10f121666ceeeb535de055295f90f783cfc84","datavalue":{"value":"6084933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$40AB2C15-9379-423E-8791-E7AA437F2CE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$025D79A4-7F1B-4CD3-B50D-4F0CA7B2D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$18A52323-38CF-46EB-B0D5-6D883F2A4C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff4258b1a95569d657856acd574b663fc78050f","datavalue":{"value":"equivalence of goals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$33CA042F-5BB4-4AC0-9DF7-D5D3B08044AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$61CF7CA2-911D-45A2-B7E4-A3124A549116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fd3124d826c4ea4c95923e1c34a81d637052a0","datavalue":{"value":"decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$61A988B5-2E53-49E7-9739-9A93ED37205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915060$253D379C-59AE-4FCE-B241-3FC79576355F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$A54BE159-0638-4A6C-9206-D4834DEB411F","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":"Q2915060$4F60D7B4-7A84-4DC9-980A-C80AF0E9B688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09b44115d98a5e06a3a485d4642e94065ebad400","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915060$E024FF3D-A1B0-4F45-AB3E-A724653FFA67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d59f785b00ed092e12dfc32c7c48ac870211a832","datavalue":{"value":"W118539919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915060$14C1EA0A-462B-4AD1-A494-05AC89EFBCBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d31bfddaacd76a8f7da9f101f2cd8f268a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$62CD75C6-7750-4295-B97D-56242FB64116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$2A253182-DFC1-43E8-B0CD-528F405F9175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67029a4354c9f7d643ff8fa65fefffb8144d443","datavalue":{"value":{"entity-type":"item","numeric-id":4281507,"id":"Q4281507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$4BCC5FFC-5967-4F5A-8AEA-E0464538D7DB","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":"Q2915060$732D0B9F-7A21-42D7-A521-95B8B971FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$14E7DDD6-E7E6-4D5A-9E8F-5D85A4312F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$942B26A1-133A-47E4-8A83-90CAEC3D0263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$F189B210-2637-4712-9EAB-CFA63C3CECB5","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":"Q2915060$D59C7939-7D4A-40F1-AABB-3375353F3A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$C7B3E9AE-83EC-4CBA-9E11-BB2302AD035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$0DD18F56-AF7B-40E7-82BF-5C3100BF5DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365f53b0fd72f92bdbaff7d9fdf53ee32b1a6938","datavalue":{"value":{"entity-type":"item","numeric-id":5411640,"id":"Q5411640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915060$06C657CD-3849-4B29-984B-11799776A3BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46d750dc376dde693a13e12e71d6202cfe4d853","datavalue":{"value":{"entity-type":"item","numeric-id":4631183,"id":"Q4631183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d6ddbadfa540703893190f3431144199756a0","datavalue":{"value":{"amount":"+0.7500677108764648","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":"Q2915060$330265CD-692D-4A3D-9A4D-1F2C26E96FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395de9886a35f4fc9a86e87ac09b47a7893e7ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4305348,"id":"Q4305348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8fa815ce76e07b8b29dc32549402395775375e","datavalue":{"value":{"amount":"+0.73540198802948","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":"Q2915060$2B5D12A4-A9E6-4FB8-869E-370E3E116A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69ef71a3296d6d98ffa3996058d4bc93528c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c3c140a3d988431a5e1ec00d605ce955f39b2f","datavalue":{"value":{"amount":"+0.7313090562820435","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":"Q2915060$5D5087BB-7796-4D7C-8913-8060859C16BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81efe0859376c018f195b8ee907d84a139ee83","datavalue":{"value":{"entity-type":"item","numeric-id":5096840,"id":"Q5096840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c3c140a3d988431a5e1ec00d605ce955f39b2f","datavalue":{"value":{"amount":"+0.7313090562820435","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":"Q2915060$5E75EFCF-FB73-441F-AD81-11BD2E033A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7edfd1c7d4d09e65dc9c239c9ea7bcc5d745e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694701,"id":"Q4694701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7a29128b2c0559435cc63f69097ddc5f263bdd","datavalue":{"value":{"amount":"+0.7305998802185059","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":"Q2915060$FA960790-C25B-4BF7-91FE-999B8ADFE7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915060"}}}}}