{"entities":{"Q4868233":{"pageid":6897813,"ns":120,"title":"Item:Q4868233","lastrevid":41752564,"modified":"2025-05-07T23:11:50Z","type":"item","id":"Q4868233","labels":{"en":{"language":"en","value":"Automated deduction in a graphical temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 852011"}},"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":"Q4868233$72DB4092-2938-4074-8C0F-9E61E99C869B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85eb0f4bb7414c88b39df8bdd58700a4c3ced3cf","datavalue":{"value":{"text":"Automated deduction in a graphical temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4868233$D70D5D74-4F05-453E-B42F-9BC45E8A3AE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a5c20311a715792931da2b5df78174e4a2d3b4a","datavalue":{"value":"0836.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$35FD85D1-A160-4BE3-8DE1-B7D5B1B4CADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6723000ab779cb8bf97acb23b4844a51954e94b","datavalue":{"value":"10.1080/11663081.1996.10510865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$6949EC38-8321-4F13-9425-46A8EC65F4ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$76F4655F-416F-4D22-96FE-2F32941FD957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d340a66f8ce9de4f2950f868f173aeaa7bc15992","datavalue":{"value":{"entity-type":"item","numeric-id":230072,"id":"Q230072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$C2FE2A8E-05F5-4324-8973-D18107822F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc8169c20ddf41957d5c220b42f64b8df4ae420","datavalue":{"value":{"entity-type":"item","numeric-id":230069,"id":"Q230069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$53BD2A76-07ED-4058-8281-33B176C5AD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a87ca01b05a9850d3b2b81c816518f63acf59d5","datavalue":{"value":{"entity-type":"item","numeric-id":816725,"id":"Q816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$CB2E1D23-FE97-4649-9EBF-80E675236472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed149779f2df5d1dc5785fc35442c97f7e3972d","datavalue":{"value":{"entity-type":"item","numeric-id":816726,"id":"Q816726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$4986BF08-5E05-4094-B764-EFCB395C47CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$88084BBF-97BD-45BB-9D2E-A9442C7DF86F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4868233$3AA83BC2-47ED-4399-AEFD-9557ADED2CA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$24C47862-FBCB-4D70-BEEA-F9623026E276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$8DDDB05E-A76D-43CE-9375-3D8FE7B2A003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$727F31F6-AB88-4955-ABBC-5CAE4AAD7476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46934b30d76da4d7764bf10d34ec96e78b17c54e","datavalue":{"value":"852011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$F19DE809-5344-4BA0-9D78-B14EC4C90FAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd82b086f577e31b46f2c84bea215b61653b90fa","datavalue":{"value":"real-time graphical interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$09376C19-B379-4C3C-B479-CE1943F9FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$6DE70FD0-F4E4-4B19-9B41-993E27AF9AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d594445c25f26d402761fc78d84780f85e3cf83f","datavalue":{"value":"modal logic for reasoning about time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$C166CA76-A4AD-4F88-8E4C-361658158FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f67cfaea57abeaf9f41e55fe173911780810eae","datavalue":{"value":"graphical representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$D7D72F1F-F9E9-4542-910F-6870DB27BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$5C05D9D8-2810-459D-AA43-57FE84EB3025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$5B21C606-0E7C-4415-83C1-7667E6029715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7fdb587b31962d2ba1e2e9f525945fb17d1b44","datavalue":{"value":"application to robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868233$7AB78640-2DA6-4570-A680-2246981FEDDD","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":"Q4868233$04F8D110-FFA2-4348-987C-5BDDF97E8A46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6871ee8e0de0d5a8020b935f10244be63fd6ecd8","datavalue":{"value":"https://doi.org/10.1080/11663081.1996.10510865","type":"string"},"datatype":"url"},"type":"statement","id":"Q4868233$81A9F9C2-3C4E-483A-B8AD-436990058AA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58fcc79bc7345dd1f53e63d53b07114e79472544","datavalue":{"value":"W1964059460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868233$31F0C989-6182-418D-8C72-A3F2663E8189","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$5283D4F8-8A9B-4CDB-9BEB-321A20B7ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$4440261B-C8A1-44A5-94AB-D7699E3B9767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$57B57A3A-3591-435F-8B1A-77C098553FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$13045B2C-BD75-4F6D-821F-F9D08E1763CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868233$07CBEF6D-E8CA-4B74-AAC4-251E28CCFD30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc0bfd9f560f57a71a22978bb3165fec329c18","datavalue":{"value":{"entity-type":"item","numeric-id":1322389,"id":"Q1322389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d697462471c6ef8d0e41ca81c99fa4dd8c886df","datavalue":{"value":{"amount":"+0.9054147","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":"Q4868233$49EA3A3F-789E-4449-B749-00F78BAFD1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd6935a53da0fadbbe4c74310f116db57a5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4502817,"id":"Q4502817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b716c1adf70bcc4271ca7ab09d3bd2ef8323e3","datavalue":{"value":{"amount":"+0.89479285","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":"Q4868233$72F1620E-2BE2-4F76-885B-CBD894217425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404248346b377946b7540721474dd94234dffe58","datavalue":{"value":{"entity-type":"item","numeric-id":4518439,"id":"Q4518439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b96c7f52b51694591a3a1ab511c49df23c5f50","datavalue":{"value":{"amount":"+0.8916582","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":"Q4868233$7F05E0B0-A1F4-4A8F-B0F9-8B844BF0D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70568d8da5c1a4947edad05e2ed0b3f7ec91de3d","datavalue":{"value":{"entity-type":"item","numeric-id":3533121,"id":"Q3533121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9088ed6f5282a342757be4e39664628a8e0cce7","datavalue":{"value":{"amount":"+0.8915647","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":"Q4868233$A277DE22-1515-4207-A36F-840E15B22981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b80bf534db2061dbb1a2fea6dcdbdedc5cf1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4669652,"id":"Q4669652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e036854d45c755290ec9ee92402161c7c5575f","datavalue":{"value":{"amount":"+0.8905042","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":"Q4868233$602D4917-EA60-4FF8-ADEF-28AB2D1EFC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802738a3ce28f3d654e216c5933ea4672af4c102","datavalue":{"value":{"amount":"+0.88709104","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":"Q4868233$1147A0E7-C12A-4C93-82C7-CB8BB88CF9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c993bba267553717b879a4f5870ae7144dc2f538","datavalue":{"value":{"entity-type":"item","numeric-id":5040806,"id":"Q5040806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471d48c73c416cd26a34530e3d41bc18419372dc","datavalue":{"value":{"amount":"+0.8868198","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":"Q4868233$CE8AB17C-EB23-4038-B419-83E107D1B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e945d1f1cc4c02eedc4a5a240925903847e98c1","datavalue":{"value":{"amount":"+0.883317","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":"Q4868233$85871520-0FC4-487C-AD58-4F20AA383B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266b2d4471dbb83c58ec09383f6863723222194d","datavalue":{"value":{"amount":"+0.8805193","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":"Q4868233$01EE6793-7F29-446C-A254-EA7C326A9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e98e2bfd65417d29651afdc08adf17ab3266af","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0481a5b33c91187559e66da6f43158db8b72ee89","datavalue":{"value":{"amount":"+0.879785","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":"Q4868233$93ED0CF3-91F5-409D-B083-CB006EF14A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4868233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4868233"}}}}}