{"entities":{"Q2233396":{"pageid":2244139,"ns":120,"title":"Item:Q2233396","lastrevid":57686430,"modified":"2026-03-31T22:06:40Z","type":"item","id":"Q2233396","labels":{"en":{"language":"en","value":"``Most of'' leads to undecidability: failure of adding frequencies to LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410420"}},"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":"Q2233396$19387AF6-33C4-49A3-A4B1-E6BD11CE9932","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e02ecf2bb46b14318b84a08d1410900a5c4c0f","datavalue":{"value":{"text":"``Most of'' leads to undecidability: failure of adding frequencies to LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233396$32D33731-A1EB-441D-A634-76C8CD8074F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"790f21fde51fcee9abcae2fa3e6f6cdd153053ad","datavalue":{"value":"10.1007/978-3-030-71995-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233396$FF3E1EA4-364B-4C57-BEEB-AAF141EAD2B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$988C9D61-57C1-4F3B-B165-D871803AD68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$B611417F-E53E-4CD2-BE38-3C59CBB23556","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233396$D646183F-D31A-4848-8A8C-7F9692050C69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2847e5956d58601c5cf818c300a3e4b978aa40e2","datavalue":{"value":"https://arxiv.org/abs/2007.01233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233396$D6F075EB-23D6-4756-BDD6-8A9CFAB31C93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233396$BA97B8DB-4E7D-4919-8B62-B6F183168ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233396$4B00FF8F-9B4A-4020-B37E-DA33CBF5D3CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779ca1a94cc2edeffcc2640b8ecaeff9ba82484e","datavalue":{"value":"7410420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233396$515AC549-2822-4892-9D36-C2580B87D65C","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":"Q2233396$8E366833-84EE-4D5C-BC3C-0DFEB221880D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce38cc3364c0fb22bc07d45e54f850e8d5bac3f1","datavalue":{"value":"W3151945801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233396$A91D2A9C-7463-4653-BCE8-5D88FB7381BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40c9e8927aaa591be6767e2d2e9c9a9efdb54f6","datavalue":{"value":{"entity-type":"item","numeric-id":5410675,"id":"Q5410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$98FB8AEF-3FBF-4049-B01F-43C170953063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$A191D3BA-AD75-4218-9235-073B070F19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4264d41b9c44b7c97151551d45d85c586ab3d629","datavalue":{"value":{"entity-type":"item","numeric-id":2233396,"id":"Q2233396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$544304AD-7B3F-469C-869A-424A28ABA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6a6e3b7a0d43b68a148cadcd200306a922ec1f","datavalue":{"value":{"entity-type":"item","numeric-id":3014933,"id":"Q3014933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$BF464A23-74EB-4D8B-9DB5-FEF6805AD39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579b8610705d7f4fdb3d6ac1d3754f223cdf13dd","datavalue":{"value":{"entity-type":"item","numeric-id":3637216,"id":"Q3637216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$07854E19-C463-4DCA-A974-780208854C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb69548772c3838bfb96f1fbc045e23fb4ea6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2946736,"id":"Q2946736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$7C254403-F52F-47C7-8DAB-4539D56B1EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f195550ea1c0b8db2df2d80f5a34565df04c68","datavalue":{"value":{"entity-type":"item","numeric-id":3190123,"id":"Q3190123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$0D38F678-B9FD-490E-87F2-09492E32A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7409ce12fc521e911d6f4a6b767611cba400d27a","datavalue":{"value":{"entity-type":"item","numeric-id":5517677,"id":"Q5517677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$046F5019-9BD5-4AFA-BD30-8617644D20F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3629762934303b290f6d2704dd128fb650effc50","datavalue":{"value":{"entity-type":"item","numeric-id":4649455,"id":"Q4649455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$FC0DAE5D-C8E0-41B8-AB49-69C942354565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a0c20658d52692a35b482a0d99019a4c8cb225","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$89145B7F-B2D8-4159-A83B-F00902612165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b6515ca4269b37606c24561d36ed5ac5a3ca7d","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$74F52415-86EC-480B-A13B-77414CB54560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1286789682a4258cb5fc71c14511307773576c50","datavalue":{"value":{"entity-type":"item","numeric-id":2503321,"id":"Q2503321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$AB2A0E71-D947-4BED-BC7B-AA8A7B7B2811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$7C95C95A-CC27-4A6E-9EEB-DB6A65739F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$6AE91475-4F18-4D81-9163-3ED9BA3AFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7210f737dd49c5ec595913a26dc22a57d3098e2","datavalue":{"value":{"entity-type":"item","numeric-id":4635815,"id":"Q4635815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$7E987ADE-F41F-45DB-AE6A-019920DE693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20d0c59e7dd6e80dfeda3e37f20a9bbf0232efa","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$6022C5C0-8DB1-4312-8B76-663FCFD72D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be98d9d2d621eae25ce6b6288548d1915ea4036","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$E7FD8A01-B41F-4307-822D-E39F5B686EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$C107704B-EBF7-45D7-BF4A-F32B082D2996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$4369CA3F-979D-41E1-90EC-2A9CF1D2F7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5410069e8abd75acf0c4dc99bb1a84758ddd17bf","datavalue":{"value":{"entity-type":"item","numeric-id":4187287,"id":"Q4187287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233396$F1CB5C53-6995-4A13-97EA-73B311F37AFF","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":"Q2233396$5004CCD0-A391-4BE1-86C3-E053EB2689DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233396"}}}}}