{"entities":{"Q6135783":{"pageid":13270090,"ns":120,"title":"Item:Q6135783","lastrevid":58714305,"modified":"2026-04-06T10:49:26Z","type":"item","id":"Q6135783","labels":{"en":{"language":"en","value":"A first-order logic characterization of safety and co-safety languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731941"}},"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":"Q6135783$F375FC58-61ED-4964-A374-ECC60F967536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe0738ef2d35aef43f90827354bbf4046199c6de","datavalue":{"value":{"text":"A first-order logic characterization of safety and co-safety languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135783$F2F17994-D706-4370-A7C2-384ECA231A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$F6474E71-48DE-48B5-835E-6CFD11DBE060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$BB19E083-61B5-4322-A9D8-F10974E4CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$773CCC0A-4C22-4CB1-A4B9-C5A2C58F987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$C3CA6F58-56DF-4324-92C0-F7B44D5CF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$9B3D84D0-B73C-4285-A1E6-E073B85A9D18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$C7C61513-B577-4C5A-8058-EA9651ABD761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135783$49F94C7C-EA11-476C-85EE-21354D321830","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfc201c2699d061958fa8550e047198654caa4c8","datavalue":{"value":"https://arxiv.org/abs/2209.02307","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135783$637A42B7-D801-4D46-9BC4-C732AC902196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135783$9DB5E6CC-D4E7-4E40-A6D5-F032E81E975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135783$FB689B60-76D8-4FE8-8811-AE723EB4941E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff360e80dd28f28da297b513aa08396f8c68a18a","datavalue":{"value":"7731941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135783$BC595BA9-3615-410D-B0DC-42217EE4D3C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135783$E14CDF6D-0154-425E-923B-8255658775AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93cc7469dc9edfbf472c61ad09fba1171d931b3","datavalue":{"value":"safety fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135783$B2EF8238-9DA3-41A8-9EB7-6EF02936E7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135783$9163D5D3-B1CA-4DAF-974E-FB73B2C8A750","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":"Q6135783$CC4C7591-7529-4B67-94FF-ACA32955D738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec1992faa266d93d72d470e293e7f38d1f677e1b","datavalue":{"value":"W4385739703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135783$51C639F1-DDD4-4BE0-97A5-A8DEFF01DF71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"442f45f3c18c8b22505978e31640898de7dd7261","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$30DAC72B-669D-410A-8019-1FEF4C497C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$6982A473-D060-4C29-884B-A52EA46A9B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13c558a3ced94721aec3cc1045d6226ff124400","datavalue":{"value":{"entity-type":"item","numeric-id":6135783,"id":"Q6135783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$945D9C31-49A5-4EC6-B7DE-88C7DCC6E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$C8FDE869-963B-420C-9AB9-58E4759906F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$66C5A927-B173-4323-86C5-E692D67BB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$FA5F214A-256B-4F1E-9E7E-204478F9F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$A9B63E97-DE5C-4B64-BD47-AF9EDAC53D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96046d8590b6002eeffff55a627d504cd040d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$1CCF8CCC-4E84-4875-82B1-C5B095A06819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c97156c100c0e84fcb38cf468fe4a906435c77","datavalue":{"value":{"entity-type":"item","numeric-id":5404480,"id":"Q5404480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$0CB209CE-2594-4EDD-823F-40DEDDE97190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$84E71368-7EAE-47D0-A3DC-39C49BDDE12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0f35ef5657e712d039ef4b0b880ed045a3c425","datavalue":{"value":{"entity-type":"item","numeric-id":3343430,"id":"Q3343430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$C1CB18E5-C80F-4365-A53F-6E299257C400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd455de603b3c19140aa58a894d61c29dbfe1207","datavalue":{"value":{"entity-type":"item","numeric-id":5485993,"id":"Q5485993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$FB1828BA-B6F9-4F68-A7A7-F7A345594127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$D3B8E9A7-45A0-4C47-8EA2-B3B03F21AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d2110922bc4e1ff750913c91f376c73a3f936b","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$527360D6-2F95-483E-884D-63E11C7658F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"897c00772f77081b4425c6a5fd90fd4669508136","datavalue":{"value":"10.46298/LMCS-19(3:13)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135783$A0A822EB-E616-45BC-9B48-6A0D150E88DC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135783$C07EA087-E9D0-417F-BDEA-2B4D390594BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135783"}}}}}