{"entities":{"Q4881300":{"pageid":6910879,"ns":120,"title":"Item:Q4881300","lastrevid":46381404,"modified":"2025-12-24T16:27:04Z","type":"item","id":"Q4881300","labels":{"en":{"language":"en","value":"An investigation of 'non-intermingling' principles in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885368"}},"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":"Q4881300$E47C7F51-07E7-4237-A8D2-671122319518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfec897035972b276f6a9a3001ab510b9ece32b7","datavalue":{"value":{"text":"An investigation of 'non-intermingling' principles in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4881300$4A4584D7-9895-4C3A-B784-4DA1D2123DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e53e63cc28881501417252c91d7c7aea7018def","datavalue":{"value":"0854.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$A55991C4-E36D-4F07-9412-BC6245638B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f2bda9bfcefef62c72a129700acf896b5ff2f6","datavalue":{"value":{"entity-type":"item","numeric-id":809996,"id":"Q809996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881300$49E85E04-E14F-4B33-9907-C321AA08C16A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4881300$204BB4A2-ED8C-4458-95AB-A48B0C31DFE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18189413b0384f245350ef7f9000f330d566a0ab","datavalue":{"value":"https://semanticscholar.org/paper/facea563208beff2b7cfef437ad890a27b1e1382","type":"string"},"datatype":"url"},"type":"statement","id":"Q4881300$96D951B7-A827-4826-92D2-6E83754CE6CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$7D7C3E7F-6016-4D87-BFC1-A679B2FB2A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$C4892E51-AEED-47A8-ACD0-D524F28EC948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb6a7584db1747102ed90399d1dc8ecb2231aeb","datavalue":{"value":"885368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$D75E1F70-E689-448A-A7A9-77FE329E97CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ac61c9779fa4d6853e138062db323c8f5eca5a","datavalue":{"value":"intermingling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881300$863A4C23-6260-4FD4-B2EC-BD292F6B6F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881300$3F747249-6343-4A69-9310-4FEEF83A1D4D","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":"Q4881300$B376A2E5-AED3-4975-8D16-5AB5054006E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcb8b6a60cd65f07bd29e951e7c4fa4ac8b93baf","datavalue":{"value":"W2018673128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$7864F231-0508-4C63-8E7D-F51ED0B26601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"707cdb1173dcb8a5e189c8015239770ef51f0245","datavalue":{"value":"10.1093/LOGCOM/6.2.271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881300$CB09E3CF-4926-4970-8BF8-E6322B1C586B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881300$BF78A2D5-ED7A-4D0B-8878-E8908F84FA40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a305ef7f64a454e2215ec6f4df97fa595866676e","datavalue":{"value":{"amount":"+0.7574570775032043","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":"Q4881300$BDC02114-F698-4772-81B1-A1C30F563C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665701bd077432fa61ff2f89ec3c6946880a2840","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a393fb2084e32f3efa8d1e15d5078e5b67f082bd","datavalue":{"value":{"amount":"+0.7396763563156128","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":"Q4881300$E6147E42-949C-4798-9737-C78757A21C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffbeae1f7b37a10d78b673e80b5131029a08ef","datavalue":{"value":{"entity-type":"item","numeric-id":1190791,"id":"Q1190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede12d7429d3b41a1ffb1fdd2502b03ea7e0756e","datavalue":{"value":{"amount":"+0.7377676367759705","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":"Q4881300$B26E6D9D-2C30-4B13-BED0-EF60CB842AB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4881300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4881300"}}}}}