{"entities":{"Q2423779":{"pageid":2434522,"ns":120,"title":"Item:Q2423779","lastrevid":44055549,"modified":"2025-11-19T09:56:42Z","type":"item","id":"Q2423779","labels":{"en":{"language":"en","value":"The state complexity of \\(\\overline{\\varSigma ^*\\overline{L}}\\) and its connection with temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069265"}},"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":"Q2423779$A961F1AD-7F24-48D8-9291-E84A54062149","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a14b83b5dce874529aaa624a67d4992bffb42380","datavalue":{"value":{"text":"The state complexity of \\(\\overline{\\varSigma ^*\\overline{L}}\\) and its connection with temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423779$2C755E33-04F2-412B-8DF7-4ABA89E23D17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b56083b2cf7553b0d9cc20b5112377fb68f0006e","datavalue":{"value":"1410.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$7272E06E-AAE1-46C6-AB82-BD3DFBDA6BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"640c202fdc4de6af59488342e0d9f8970feec0ae","datavalue":{"value":"10.1016/0020-0190(96)00044-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$9BF3A64D-091C-452F-86BC-7B17223DD15B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af85c7b2f6fd07526dd5f6ad7e9d1c876779e29","datavalue":{"value":{"entity-type":"item","numeric-id":766115,"id":"Q766115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$2D15F3B0-F479-4FD1-A1DE-2A4B485421E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$6B987AD9-0C71-467E-B90F-F1848A5825F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423779$799154BD-2611-432B-9784-DD95EEDF85B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$93830EA2-5EA3-4FD8-B9D2-43D81EAA77E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$A19DF694-77EC-4461-BBAB-95F251B56478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5867b3859f29bddcd880b11fd5ce77f584b3f2e4","datavalue":{"value":"7069265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$C99E4A74-7DE9-4E2B-9957-1A0111EBFDE2","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":"Q2423779$0C588612-8992-4A9E-8BE3-6BB3E8A40D76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aa189069caa6aa5a9e448c8bc4268a9e0de47b0","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00044-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423779$4E9B1B12-7889-417E-B790-DCAC34410E53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4a6afa435e6a13060b9a0103d2e5b5f7dfd361","datavalue":{"value":"W1970741809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423779$8BF137AB-E008-49E4-84FF-7D1F65A05CB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47cebc04b7eb71cacd961bf04ae46d43cff618b","datavalue":{"value":{"entity-type":"item","numeric-id":1199879,"id":"Q1199879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$2BC993EA-683B-4A05-AF8F-593CC686F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2a0568d35c9c7c579d01bd7c9acc4cd65e8307","datavalue":{"value":{"entity-type":"item","numeric-id":688156,"id":"Q688156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$7297C3A4-31DD-49CE-B7E6-F102FCD51B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$2EC4EBAB-4ADF-4AEC-A2A5-2C531790F25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$7911082E-48D2-49A4-A52F-42389FEC2820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$3C34C0C3-B386-4023-98C6-EA0E62B7DA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$9EE2541E-2D14-4FE8-BF03-B0F8B183A419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6550549f6a6ae41859a83760194e81ec3591e36","datavalue":{"value":{"entity-type":"item","numeric-id":1151754,"id":"Q1151754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$9B647921-0D2D-4BBB-9F50-9E52395032FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba3aee3e8b2191a94bfb8753ce5fb3201ac57f","datavalue":{"value":{"entity-type":"item","numeric-id":1068549,"id":"Q1068549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423779$733AD8F3-6B20-46AF-B22D-D7A3F491B8EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2423779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2423779"}}}}}