{"entities":{"Q5404934":{"pageid":7434508,"ns":120,"title":"Item:Q5404934","lastrevid":75627349,"modified":"2026-04-20T10:26:00Z","type":"item","id":"Q5404934","labels":{"en":{"language":"en","value":"Interval Temporal Logic Semantics of Box Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275881"}},"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":"Q5404934$6E698870-52B2-46E2-A404-0BE7640A8AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d3cea5e2413f965b610164ca2948a030084d0b","datavalue":{"value":{"text":"Interval Temporal Logic Semantics of Box Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404934$50C951A4-78EE-419A-B171-ECC49C243390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f912fa7a2a6f5bd5f7237969d7c5a655229732b","datavalue":{"value":"1407.68334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$0ADCA8FF-9E6D-450B-B4CC-1C93C61FC3FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ecacca82d5996eadbc545c2dfc389ac8d86134b","datavalue":{"value":"10.1007/978-3-319-04921-2_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$CC78EA4E-12D8-46E2-AEA4-F7E8177B04B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404934$7C1F2ECC-C983-483A-97E6-9C9E59B3E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404934$15B6844D-88FB-440C-95A8-6225D3179EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404934$A935FFF0-0E4F-4EAE-BFC4-8FC1BD78457B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404934$7DE14A0C-EFEF-4E33-819D-55465C83FA76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404934$DD2C3BAE-8D44-4070-AEB2-ABEE5569D309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"379139ee4550900a29a65b3bb92e8ef7d69b9228","datavalue":{"value":"https://eprint.ncl.ac.uk/fulltext.aspx?url=190702/552DDCF1-C39C-4830-93E9-A562E4FD5F6B.pdf&pub_id=190702","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404934$0A204373-A783-4E80-BC74-A661F2641D2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$4084E38A-D66E-43BC-83F2-3E9E8FA6E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$DECEB54D-F16D-4E28-9814-285F6F2EFE0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa50ca7175c5785f43ae469e83e0b481556f89e","datavalue":{"value":"6275881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$218D86E0-C3EB-4D5F-ABE5-2F06D48B5B8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$9EE06AD4-8824-4A2B-BD34-EB5291F84994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54036603f2de5336c3febf3b57ef6ae56518a71","datavalue":{"value":"box algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$C88B15F7-7104-444F-9E24-633F119A31CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$4EA058DF-BF7C-4757-8F87-CA0CD80151A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$7F759A88-384E-4404-AC54-A89A7AD7A97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$923C17B5-127C-4285-BDE2-50739F07DC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6640394c68a1b61e9d264823fa612419aa3e3bb4","datavalue":{"value":"general synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$1F50FF12-818C-4E97-8540-4531C3364EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75313538aa2640bcf5460f43fcf0284b7647999c","datavalue":{"value":"step sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$DA451E3B-59C6-4111-AE99-E8CDA0C41A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404934$5D4ED07D-4F3A-4142-8914-5D412993FC63","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":"Q5404934$84EC53B8-0F3A-4815-8445-F9E85CF27335","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2846c5739362db1f615efcfffda7ea7f89dc635d","datavalue":{"value":"W43379692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404934$C65ECBC5-C73E-4D23-9745-92F9A725C252","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15640c605eae45b97807a6c43d4f1a9e38b29631","datavalue":{"value":{"entity-type":"item","numeric-id":5241413,"id":"Q5241413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7948799b0af276eb1ccfc0c99c25d10c15f041d4","datavalue":{"value":{"amount":"+0.97590137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$B95649B9-A51D-4661-9305-21F09C473BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246a15419c1bcb73ca2b8563d3bf7ed9859f5df9","datavalue":{"value":{"amount":"+0.9057003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$DF18C5FF-515E-490C-B4C3-D7F20C7568A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d196563fc5bbc0fcac3cc435be3ea05f63b75d0f","datavalue":{"value":{"amount":"+0.8965415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$813AC84C-1086-4A34-A233-DFCC45481A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a609fca483dc1f9e77dddd11fda8b84ab6f37424","datavalue":{"value":{"amount":"+0.89091575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$0F54E873-7661-4C33-A50E-44A78363FB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6656f77d921f001d860b9b591012370905d4cea","datavalue":{"value":{"entity-type":"item","numeric-id":3365587,"id":"Q3365587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdaf234a4d06adf00513b086e654c8f250dc68f0","datavalue":{"value":{"amount":"+0.8900634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$AC5D00AF-A054-4B0A-AAE6-F8FA47EBB977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d37c4de50b725032dbb4d1984e3cea148729648","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4238236068440259c68212d5a8ca525256da3e60","datavalue":{"value":{"amount":"+0.8896455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$E697B544-DD93-4C40-84F5-BC152832136A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33d09c814e04cb802ca98b66c2aa9a226c3bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1404439e71549567b1df563c3c8f75b205431ad4","datavalue":{"value":{"amount":"+0.8888911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$6C7B068E-74F9-4E36-A986-F4439C3089E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475b5f71dbb72501f3fe68d217908240784d7d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2321249,"id":"Q2321249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c98c316e7df84e19cce103a4297268582abcdca","datavalue":{"value":{"amount":"+0.8859582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$83D17323-A474-4C32-9653-E2FF3B250B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b774602d27a972deb5c1d34841099ed942380077","datavalue":{"value":{"amount":"+0.8856987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404934$B7DD62A3-D0BC-48B9-9483-2906A6B5F836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval Temporal Logic Semantics of Box Algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_Temporal_Logic_Semantics_of_Box_Algebra"}}}}}