{"entities":{"Q5486245":{"pageid":7515805,"ns":120,"title":"Item:Q5486245","lastrevid":41700831,"modified":"2025-05-07T08:43:47Z","type":"item","id":"Q5486245","labels":{"en":{"language":"en","value":"Logical consecutions in discrete linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051857"}},"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":"Q5486245$B5B1FF9E-3A0E-4934-959B-F09ABBD951A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c7a3730f6ce4e1ab41c4abd079b1e74b202313d","datavalue":{"value":{"text":"Logical consecutions in discrete linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486245$604F2015-0708-4D5C-A73E-914DFA3F598A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f815a9a1f0cc064c2cedd1eef145cdf8100f987","datavalue":{"value":"1110.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486245$789CA903-1257-4105-9F2F-2E33791856C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$03E84683-E962-48D5-A380-ED5924AD95F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486245$7206F849-C49E-4710-B2DD-F519FE599767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486245$B364EFFE-4A0D-438D-AAF8-26D8A39DA620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"060bf0c71aa08af753616bce53d6c03c44bf5b1c","datavalue":{"value":"5051857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486245$46504113-53AB-4AE6-A51A-061FD77F6B84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$F7E63E7C-C8FB-4337-8A6C-BFD6EED0079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$E0E37C16-3BF8-4F36-8327-BC7DE2D06088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$DEE557EE-5A3C-43E3-951C-3D5D38D2E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$C802006F-556F-455C-A7F8-FD2985C0504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2763194ced955d6cd36b33fa49826d497b7528c","datavalue":{"value":"consecutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$F4792B11-366B-4440-B8EE-9638D00D1468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486245$AE170619-512D-47F8-A2EB-1331E496475E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$BABE92D0-797F-4777-B2A1-3F399360B986","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":"Q5486245$C2BEC37B-9FF1-43E2-BAFC-66D392C49255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b868e28e14f3a8f66f1311fa806f9a91d0f7a43b","datavalue":{"value":"https://doi.org/10.2178/jsl/1129642119","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486245$CEF2C5F4-DBDB-4193-BA18-97E6891C9A73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15bba586c8f6b5b4e81627125c4555cf94de7cd5","datavalue":{"value":"W2093974031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486245$DAF98053-4185-4B7B-BE88-02E19A613DE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4057cbea795765c3e532392a7ce11106aad03","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$DAF41255-5FA9-4541-BCA0-060A58B968D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$19A97613-B954-4696-9DDF-942A2089FD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$F1FEACD3-B076-45D8-8312-AC681FD8AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1845121d7204a561acfbb8b55f7d2a361a55e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":4178997,"id":"Q4178997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$C3BE1445-6566-4AF3-8F2E-718151A811FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$CBE46543-2FFD-426B-9133-20D92617EC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$D5DC62C4-150A-4313-917B-8B3BE57246D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$FEE017E8-DE94-4B40-92A7-5B2F2BE079E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba6e04bd8121c53caebbcc1df28f8e1ebc0c97","datavalue":{"value":{"entity-type":"item","numeric-id":1245932,"id":"Q1245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$6173F80C-C976-4D92-887D-5C4AB30DD8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$6EC95766-7026-42AB-8F45-6A13EFEA989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f377fc5a4183c923431aca96f59c7e66969f8715","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$A80D0152-658E-45CE-823F-5963A1FF0C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537f4ab2db49bf4e0322f98aa67e1484b80a8d87","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$E2E193DE-E70E-4E2A-9760-0E33236E2980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fd5a2f0979b8ec18f6f11198e9f252c9b63233","datavalue":{"value":{"entity-type":"item","numeric-id":4704656,"id":"Q4704656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$1AC64D94-D263-49D3-A9B4-179CCA44404B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4781a9e5c0303423493ce7374c1aa23ce6d95b72","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$39534E25-11B0-429B-930C-1E80363AEECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1efaad4e5b894c7dcab221b7b76136560b6eec0","datavalue":{"value":{"entity-type":"item","numeric-id":2765566,"id":"Q2765566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$F2E0D9F0-4EA2-426F-BC9A-81956A9019C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486245$FCD018C1-E932-4B42-B1FF-74D746E0BAE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f7afa0d87d71016a64429a5b971d465ee939c83","datavalue":{"value":"10.2178/JSL/1129642119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486245$250D6C54-EEDD-41A8-9D93-F7F18CF77159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d07dcdce7e697bc0c3f8701a8d0892ce715bcaa","datavalue":{"value":{"entity-type":"item","numeric-id":3374097,"id":"Q3374097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d637fcbd9f2272941f40e36d41191c70a44e07","datavalue":{"value":{"amount":"+0.94111276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$3CED3D1A-9EFD-4480-B646-CA544059E26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e9fa5253b5de8b273fdee80fe2003a2228cecd","datavalue":{"value":{"amount":"+0.93155676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$38CA5BAE-1ECD-4DEB-8037-9E8848D34F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a705198096d2d9be034a161db5d212e0940e394","datavalue":{"value":{"amount":"+0.91760385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$9D17B19A-4508-4E3C-BE2E-54968F03BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0be7d79303629b58a05ee0feb5a42dde6b3f71","datavalue":{"value":{"entity-type":"item","numeric-id":4612410,"id":"Q4612410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f16e17068c6d7a6910ee3b10854691db3c11d6","datavalue":{"value":{"amount":"+0.9111179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$9EAA6695-17BE-436B-963F-B6DF65E72D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6568dda7eb6cd72f0d20c8ddf174a77ba230712","datavalue":{"value":{"entity-type":"item","numeric-id":5445173,"id":"Q5445173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2cc4d5a6e9e948c6c2606f0c2bc07119fd4320","datavalue":{"value":{"amount":"+0.90927374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$D7C59406-8AC6-42A2-9485-C8579BA8CE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056db1d678cd6bc524a0b3e3b29f5b4cff4f951b","datavalue":{"value":{"amount":"+0.9081131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$292C7867-DC49-4CA0-8B5A-3EBBB2979854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d5f2bf3d5989299a4e4fa669a4230609874e4c","datavalue":{"value":{"amount":"+0.90352756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$76437C29-58D4-47B0-8F93-E8D822317FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df262ab432d0a422aa04db0ccf06d09d8e78ca9e","datavalue":{"value":{"amount":"+0.90313196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$2BF795F6-DF79-4922-996D-B71F4F1368E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52cf778a6dbeb0aa436b994da9bf46628270e322","datavalue":{"value":{"entity-type":"item","numeric-id":5236442,"id":"Q5236442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc11335b4f4722c13a7bb2b5b669d5674fe67dcf","datavalue":{"value":{"amount":"+0.90013874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$6549F15A-7207-4F2C-8210-C1085C972BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcd0586b65cf82924bc80aba139eeeb177d085","datavalue":{"value":{"entity-type":"item","numeric-id":6111141,"id":"Q6111141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb31f336ca8dc47bb900443a545c21def7f666f4","datavalue":{"value":{"amount":"+0.89860624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5486245$29184C4D-809C-425E-B993-05267D36B057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486245"}}}}}