{"entities":{"Q3090846":{"pageid":3101561,"ns":120,"title":"Item:Q3090846","lastrevid":51324719,"modified":"2026-01-17T18:41:24Z","type":"item","id":"Q3090846","labels":{"en":{"language":"en","value":"Weak Kripke structures and LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945206"}},"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":"Q3090846$7140C7E8-DC2A-4B61-B05F-0245090C18E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffb8d82122fab3f85e7ab4749d4dffb35cc52605","datavalue":{"value":{"text":"Weak Kripke Structures and LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090846$A88AA949-CD2F-4536-B54A-C0699A6FA903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a90248902113d0dcc9f79a9df9daa976d38e75ae","datavalue":{"value":"1343.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$2E03FABE-FF53-4C86-8687-E259A020CE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69f9c1257da846a44201b36d41d61967ef7514cd","datavalue":{"value":"10.1007/978-3-642-23217-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$DA1F4F4B-EECB-4DDC-94EE-5F79C1BAC2E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d815e877d6b6ef41244938ec3b68f9b5c664a250","datavalue":{"value":{"entity-type":"item","numeric-id":845731,"id":"Q845731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$FFB0DAB6-41B2-44D1-8DF8-B5CBC5DC2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$59295ECF-BD7E-48CA-A0CD-89A29830DF19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$E07475D5-BB11-4A16-838E-CDDB0DAA2773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-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":"Q3090846$A8B87D18-731C-4A78-BFAC-47B7DC5999DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$B719AD53-04D4-4C13-A320-41AB6F51FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$6850699E-C1AB-48B7-8D8E-EA16B7F9DD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$372E9012-6058-4FB5-B5D5-E449F490F5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$7DF586CF-0C1D-4EC4-8F8D-4BC4C8588897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"897f525bf3e5e7e65acd9a592773402bc5782e46","datavalue":{"value":"5945206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$D7A767D6-56CE-4509-931E-F0CB3DD57CAB","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":"Q3090846$94E83AC3-4FAC-4801-97AE-E14A2C6B3772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fc6883afceff1791d0ef36ebd1ee82057048423","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090846$0C96E0CA-F843-4F13-95D6-D654D612CAB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4f7613dc534c4eadef35a87554e814e244f7557","datavalue":{"value":"W129930684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090846$9860FC11-8239-4E8B-8121-8C1FA3E76E39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a2d1b36968ee575acd9ccdf573922e58c6c03c","datavalue":{"value":{"entity-type":"item","numeric-id":555778,"id":"Q555778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$00EA8E6B-3FBE-4D8B-BB49-A35FF52D5650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b26059adbb73b62187c785afebbe01c80563747","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$E929CE70-8BAA-4D4A-B658-FFF907C226B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4724c47f3cacb30f5e37f3e2ace4b84b4d68e76","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$F860B454-B379-4D0C-902B-03C424DEB696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef247e63d27c62873fe724d98136f4af3a3b125d","datavalue":{"value":{"entity-type":"item","numeric-id":5277776,"id":"Q5277776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$AB1E13D0-8B78-412D-9B59-1D2E49CA0DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0b63ef803b13c5a1e1e5fb9241366c993f65ed","datavalue":{"value":{"entity-type":"item","numeric-id":2495399,"id":"Q2495399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$73434464-40F5-4F4C-AA7F-B6DD9D97E760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$9C442888-DAC6-45CA-BA4D-CFD9402B7B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$A909824E-6D91-4A2A-83ED-662BA5FBD3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00231a58759e498ebcb1fea4d396c3ed0c4585","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$8E0BC546-B65E-4252-BDD5-5E106F7708AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baab21e7e3c06b4c1b3f847e3cef2ae1dc2fd6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3638098,"id":"Q3638098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$03718F0B-47E5-4876-AAFF-034AE92C7F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2a6130fb0c85f7a83f9fda830b9f3b871814e","datavalue":{"value":{"entity-type":"item","numeric-id":2484066,"id":"Q2484066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$B4A0FF4D-9516-437A-AAB2-CBF4EBA1790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$8E7108DC-655B-42C3-8249-915B1035F5BC","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":"Q3090846$C3B1B1B8-9D57-4E4F-9447-B7D58F4559C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7857909df4377a60292cf4420d15e447b13c05e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311490,"id":"Q5311490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$53632686-A79E-4EB8-AEFA-A4A6F63A5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$ACE35074-FFD1-450D-BEB3-E4DA3E219A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d146ac5568903f993542d29d6de32ebd3aec4cf","datavalue":{"value":{"entity-type":"item","numeric-id":1045942,"id":"Q1045942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$36FDC6B0-0F7A-4087-B956-6C93B6178875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$6FD6F028-492C-45DB-A9F9-247689E3B12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090846$36F15923-C905-4437-9F19-9E828AF58B40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7516dc49d0fbb5f7fe8de77197bffba5904fb3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2946630,"id":"Q2946630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41240a1cfb4b808e79f2b5bd9882f541e52f4f2d","datavalue":{"value":{"amount":"+0.8237528204917908","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":"Q3090846$C71F3CD9-CEF5-4C44-992F-2DF16E7293EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34024c54222dc83afc6a2e77fa93d2ab5839befc","datavalue":{"value":{"amount":"+0.8117830753326416","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":"Q3090846$5BA2DF8D-118E-4461-B5B3-FDF71C842A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f6204b2340f595a57420f4d2f0d6e141efbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bca611b552c050addd12a8c53ea49f018aafb78","datavalue":{"value":{"amount":"+0.8089635372161865","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":"Q3090846$97EDC839-4514-44E6-8CE9-E09005B5F0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42921e015be15b4ad418ba720a9c13777b83e40","datavalue":{"value":{"amount":"+0.8007279634475708","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":"Q3090846$6A1C2DB5-8A16-4B92-89AF-A622539B24F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a0c701677c5338c7ff3e1a9c320fbe6d6ead07","datavalue":{"value":{"entity-type":"item","numeric-id":5167829,"id":"Q5167829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da050b75c3ba16863b4881a9942004a5c3bb9449","datavalue":{"value":{"amount":"+0.7905203104019165","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":"Q3090846$49D9F7CD-7B82-44E9-83EA-515CE248910A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090846"}}}}}