{"entities":{"Q4610334":{"pageid":6639917,"ns":120,"title":"Item:Q4610334","lastrevid":53321738,"modified":"2026-01-24T17:46:14Z","type":"item","id":"Q4610334","labels":{"en":{"language":"en","value":"A tableau proof system for a Mazurkiewicz trace logic with fixpoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002284"}},"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":"Q4610334$47A57097-3DA7-46D5-9D8D-D21E510D96A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc94bc952de1456c36c17fccf24cf3268ffdbd33","datavalue":{"value":{"text":"A tableau proof system for a mazurkiewicz trace logic with fixpoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610334$BA95B27E-73C1-4D23-A84B-B5048545D548","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc45b050c638629e1a61a9842da6b34e39327b9","datavalue":{"value":"1412.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$8687B8DF-9102-4631-A88E-C580B988B765","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$5BC1FC9F-5B9F-41EE-BBAE-4EDD9620FA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76afff91ee7e29644e355cfe9fba589f244e95cd","datavalue":{"value":{"entity-type":"item","numeric-id":2848478,"id":"Q2848478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$C5FF971A-A828-4027-B43E-C1F5529C2C81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$501C1EED-A9FB-4223-A431-6E04C0F95478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610334$C16CC985-E9FD-4792-89CD-31008E6312B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$4115800D-3576-4F56-9FCA-04A27F428425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$AB15CD7D-9CC1-4017-9668-D2321DA91A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$6666086D-E249-4ABB-9EF0-8EF3F97121BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$A829F36F-4FC6-4BB8-99BB-C37A8AD3A24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$4122D888-3BD3-4BF5-ABA9-923CBB42755E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053049b806df3aa9c4c5207b0001788c1c0f9981","datavalue":{"value":"7002284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$0211360D-6B1C-40C7-AEB2-30B628578102","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610334$6A82E50F-835A-4CFB-8EC0-930D4E60B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610334$4B2017B5-DBB8-4CE5-B018-B41290525C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610334$B169A7EA-012B-409C-97AA-0A86CC322294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762ea1dde992c28ede3a6ee476e5ebbcf427083","datavalue":{"value":"atomic proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610334$6AB4DA75-A82D-49D6-A269-0FD96F3AFEEF","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":"Q4610334$4C3B9AEB-ABBE-4040-9D17-70C99E9DAF20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6976d3496b2a5675aed7550344a5f67bf5633096","datavalue":{"value":{"entity-type":"item","numeric-id":4256653,"id":"Q4256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$862F0C30-7225-4F25-AB6C-A120BFED90AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$97425A89-9F84-461E-B1A3-D7F0881B428F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$180AE081-2788-4472-85DA-5CEAE8F0BD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$66538FEC-ED94-4021-B0EB-3EAEBD5883B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b08464fbc5808cb0d5ea17ed1cced807b8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":6162110,"id":"Q6162110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$6CBD46FC-C7B7-450B-BD4D-DA183A450101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$ED7D7BA6-20EE-491A-AA4A-F78660FC8EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$1C549B82-E908-4FDC-9590-358E40C9E81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$F2B70E80-E7A2-4A24-8B80-92AFDB9F35B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e953677c16c99f1b27f28a0a3a445d631135e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3569046,"id":"Q3569046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$057F605C-A579-4D43-B0E9-C7FFC7E58737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$A5149D2A-5D77-451F-9FCF-620532A1819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610334$E3E86D4F-43B9-4476-BDF4-2A296192390D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd1f31533f95b33675f95fc44e57c23b04b29b3","datavalue":{"value":"https://doi.org/10.1007/bfb0027421","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610334$B7548F0B-6202-40CC-A35C-0890EED823BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d519b82707725f69bcad857ffce733430e4d35bb","datavalue":{"value":"W1562348633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$63C979C3-8F21-4FD5-9083-63F064942E9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fda09649cf5e55ba6e4f4d3d1da785e83d203b48","datavalue":{"value":"10.1007/BFB0027421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610334$86DE7795-E038-49C9-945C-3B625115806F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ae4cb34f69b8f36b8f3b449c57030246182bd2","datavalue":{"value":{"amount":"+0.7647973299026489","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":"Q4610334$BFA5660E-108D-49F7-80FC-B0B5C9AC8DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325677dee369930d0e64a4e41b51a183c6e0801","datavalue":{"value":{"entity-type":"item","numeric-id":4422788,"id":"Q4422788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cc144c5e5590f11727bd5f0ead2db311aac7f4","datavalue":{"value":{"amount":"+0.7633002400398254","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":"Q4610334$7A642626-B318-46ED-BB9D-E2BE62174F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbe8f0d4fd63e5633ad6a16667ed8b9308be29","datavalue":{"value":{"entity-type":"item","numeric-id":4632314,"id":"Q4632314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cc144c5e5590f11727bd5f0ead2db311aac7f4","datavalue":{"value":{"amount":"+0.7633002400398254","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":"Q4610334$67C14F43-4AAB-4A9B-8E38-347B46DA59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d713b013f9c21146d7c164818d589c7c1ae4b804","datavalue":{"value":{"entity-type":"item","numeric-id":4864475,"id":"Q4864475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905c622abf90560953d76205bd30579342967632","datavalue":{"value":{"amount":"+0.761716902256012","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":"Q4610334$8141ABDE-796E-4118-BED3-2DCAD5190C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac1487d9f56b2523c1313e72206d8bafd7141a7","datavalue":{"value":{"entity-type":"item","numeric-id":4218111,"id":"Q4218111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed07df92f81d4a19119cfa8fd58d6a3368200b","datavalue":{"value":{"amount":"+0.7596293687820435","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":"Q4610334$3A2D5322-A540-4B5C-9F78-038C05D85253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610334"}}}}}