{"entities":{"Q2317353":{"pageid":2328096,"ns":120,"title":"Item:Q2317353","lastrevid":53497769,"modified":"2026-01-25T01:31:30Z","type":"item","id":"Q2317353","labels":{"en":{"language":"en","value":"Index set expressions can represent temporal logic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7091684"}},"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":"Q2317353$8D218BD1-F785-4964-B9A4-F5A74CAACDD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08cb86bd52cb7a10a4ca52213e6b45a662e681b3","datavalue":{"value":{"text":"Index set expressions can represent temporal logic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2317353$850FCA2C-9F99-4517-AC48-604781886AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d588caad11a93333300d428f26eeb8b07b6fd1","datavalue":{"value":"1498.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$48DBB569-255B-40EB-AF29-AA2A0D0D0BDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$FA7A1F57-EFE5-428D-B231-8CC8D0A01B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$533381C2-FD43-463A-B114-F2821B2C6571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$D927FAA0-4A8E-4A4B-BEF0-742E88771856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5337a75ceab00bd696bd6e1b1f756692f28a0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":354104,"id":"Q354104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$9065E553-12D1-47B4-A6C7-70048096552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf04311cb9d0e682cbf34fe57dbae20044baee5","datavalue":{"value":{"entity-type":"item","numeric-id":995554,"id":"Q995554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$239DFF9F-F72C-45B3-A64A-963596590C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$532C2569-5080-4704-8B9E-253D16B52534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d65be9b46b8dac95d31b784aa70a87e27ab8512","datavalue":{"value":{"time":"+2019-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2317353$27DDFEE8-118E-49C4-95DD-99D36BC06D17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$61ADAAEF-B159-4991-9665-25CCC76CCB89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae9cba7fd5efd1ecbf4579469c22353a4223bcf7","datavalue":{"value":"7091684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$A62DEAD8-DB89-40BE-8097-C4E980D9E799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$3D305037-E24E-41E3-B459-577B0441F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$7DAC051E-0014-490C-AFA2-F4CBF6E2EDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c4a2aef9a237ff4c1b489b607b734dd4cffc2f","datavalue":{"value":"fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$2BD73930-C8C2-4291-A940-4E6B0077B723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$534A72F6-9894-4420-B0C0-2DE123836EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$10575FB0-D24C-4CD6-91A5-A087F1D09C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317353$C1AC3D24-F44F-4305-8D18-E678AF3C7B8B","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":"Q2317353$023E022E-7619-4767-B6B6-A5E1359D6A2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc2974d97a581c8c01b7d554134647d29ffcdacd","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.11.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2317353$B34E2D57-8DA3-4B48-AD94-E1CAA36EC9CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5cd961c674155d7754aa1b52a70702c561c3b3b","datavalue":{"value":"W2905458020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$C3B03ACE-B91D-482E-9058-0C092D198738","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$8C792356-B8C9-4A6A-8B11-1B5089A33846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$3FB45EE6-814A-4A5D-BA2F-7F02712CD5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f6fa0dad77c2991e0d69847f22f5ce2f99321","datavalue":{"value":{"entity-type":"item","numeric-id":2842634,"id":"Q2842634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$DB88FAF1-6EA2-4EFA-BBBB-E2E220751DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$1B21BA09-0673-4948-B90D-C4E853BE2C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$36753F40-6C02-4084-93D3-3A17E9A70E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45671c6193ec441bc9e4dcc774fb57094354e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$D105CEC0-B0F0-4D87-B460-00C8FA6A5522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1e44416a3c1cc347b58f2819f854351e6ffec","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$C306E8FA-410C-4E01-BA4C-D44BB13AEFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5677345b91ebc0d50575f0d7e9b2826d53a1c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3543642,"id":"Q3543642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$BC02BFBF-079E-487B-B1E6-6FC2F943C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$2021A4ED-94B4-47F2-8A9E-FF3314F66645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$EF2318B1-CADB-487D-A3EE-6E52E5F3F802","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":"Q2317353$73E0B45C-9AA0-4AFF-8A1E-70D9A0F1EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$F09A5B14-95AB-4E81-BF38-F99763E1A83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$E1D60F7A-65C6-4EF1-9941-54198DCEB67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$4C3AC9C8-CC80-4C16-88D1-17BC2BE5FF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$830EBF5C-D4BF-421B-821B-561D701D7B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3a406cb268c03d9699dfb0233447740dca308b","datavalue":{"value":{"entity-type":"item","numeric-id":896162,"id":"Q896162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$4DAD8412-3487-4619-9B29-BB261363FA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b911625efa0ace12355e843f02ffb7bb45816c","datavalue":{"value":{"entity-type":"item","numeric-id":744103,"id":"Q744103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317353$9B8DC390-1E6A-4461-BE60-B6B4D3D80447","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84e722089d4a8f5c4fa6b895a9897decf2e0cc83","datavalue":{"value":"Q128733895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$57F044EE-DEE6-4D32-ADEB-408E037E6139","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74c0053c8be34ae61254da13104b4e4d9215f4bf","datavalue":{"value":"10.1016/J.TCS.2018.11.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317353$09E1B2F6-8257-476E-99C3-0F37ED09EB2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33dc888f746fb0a884e69821d480241833e401f","datavalue":{"value":{"entity-type":"item","numeric-id":2842634,"id":"Q2842634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1038cc85a5a566a609a344d3b1f4bb6f43f3c264","datavalue":{"value":{"amount":"+0.8765250444412231","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":"Q2317353$36654786-0EDC-4887-B193-5BA996D34284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaec91331703e40b6f3fb73efacaa3af1532568","datavalue":{"value":{"entity-type":"item","numeric-id":2920447,"id":"Q2920447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345ee834a72c0133dc4161a6f363086f065fc497","datavalue":{"value":{"amount":"+0.7807890176773071","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":"Q2317353$EB1CCA9B-9518-4954-B34B-17B381C7D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb3594d7cf9cf9405914e1e51a1e2089fdf52d6","datavalue":{"value":{"amount":"+0.7244381308555603","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":"Q2317353$D89AE84C-C7D8-4635-B3DE-474CD73DFC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae8661dc80bd1e97773decd51f6c2a140fe4c81","datavalue":{"value":{"amount":"+0.7229677438735962","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":"Q2317353$21C81075-93C6-4709-BE72-2A92F0348D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca07257e84d697ffbe7b480a5f2a3d06bf9f7511","datavalue":{"value":{"entity-type":"item","numeric-id":2988557,"id":"Q2988557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2153826824d104a6b22dac5c09e6dfc002efc51","datavalue":{"value":{"amount":"+0.7081659436225891","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":"Q2317353$5B946AC8-2A04-4331-8A76-9EF1D03464BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2317353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2317353"}}}}}