{"entities":{"Q5236443":{"pageid":7266011,"ns":120,"title":"Item:Q5236443","lastrevid":100664480,"modified":"2026-06-05T22:43:00Z","type":"item","id":"Q5236443","labels":{"en":{"language":"en","value":"Similarity saturation for first order linear temporal logic with UNLESS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114579"}},"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":"Q5236443$8248F6F7-830F-475E-8D9A-C0993F5C22F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4680df8cd77d12311aa4a5c45a362caef8e9ca39","datavalue":{"value":{"text":"Similarity saturation for first order linear temporal logic with UNLESS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236443$5374D846-CCE6-4900-9DE2-DC5492DCD2DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca489f3fd7310fe7d74ba89cecd154283625d361","datavalue":{"value":"1427.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$F552F872-EACD-42DA-9AE6-79847F291C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eae54b349b06b3944b28b480e1ec98ae1b2c8b6","datavalue":{"value":"10.1007/3-540-61630-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$5A1B1494-3B1F-4607-A1A8-5E8C26570A9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$C5F10541-7358-45F3-9459-315DE3C6FA9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236443$1B3F776E-54CF-4D12-9F9B-755E226323CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$408049AF-C839-4DF6-802F-999FEAD90FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$D41D5D94-01FE-4FBF-A98C-A347ABFCCFFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43b120906a25b8ec734c20053a7e11ab86026f2","datavalue":{"value":"7114579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$E7448C98-F92F-4A88-B5B9-7685A7E4ABCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236443$E2E256E4-7B02-47AE-8A81-F6CC25ED71ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236443$0AECAF6E-359C-4A5B-90A4-3F8570505422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236443$00ED9750-92DC-44F8-BC8B-39643CE0A47B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$349D1495-BCEE-4597-96B9-2B44E46B596A","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":"Q5236443$593F78B5-A71B-4D5C-8C01-06A8F1AD90DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ecf0540eb07579fce5f775ae1c74569f544fe1a","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236443$20E3F8D3-8B63-4EC7-9FF8-4697907BE995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebaf26f518a5a75f339df5cdcc9d22b7a09e1936","datavalue":{"value":"W1537792051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236443$82631A93-9E1A-4E2E-AFE5-A9AC19AFED60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$49A0C4BD-3CFE-4FD3-8470-F84505C77CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef64d0f72e12bd4096a3d743ef4b9e9f718784b","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$9CE7F46D-044F-4602-BAF0-65BEFBF746E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd394b3e1585c42455729c0a641a3a40574a263","datavalue":{"value":{"entity-type":"item","numeric-id":3799672,"id":"Q3799672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$7A3FFE1E-FCA2-4AF0-AA78-21E0A2D52BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381e47446d96a439048b122527ca19d971798559","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$B49ADEF2-B3A2-4B83-990D-FACEA621E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699425079c94ae19a8b87b1043cb6d1326a2c34","datavalue":{"value":{"entity-type":"item","numeric-id":2724155,"id":"Q2724155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$36D4276E-F51E-4B72-B90F-C9F61B9A201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1c6acb31205ce7e236213c9d48443cc38913af","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$5922FC72-C84E-44CB-B33A-A52AB190B327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$FA9D2579-0C42-4405-BC87-C4A5495B8F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$2E977521-360A-4579-8259-C1D84FF6EF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$7464F2F9-2F7F-4DF3-9A49-6A3F140708DF","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":"Q5236443$0A7D8514-F5B1-482E-89BA-FD17291BCCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365cb4496c7d7d633aa821539f2491d6f0ac8350","datavalue":{"value":{"entity-type":"item","numeric-id":2757835,"id":"Q2757835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$F3BFECE7-8CE6-4715-8D47-5AA38004531E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e318768b2e675028aa324fb9bff0b760bb3244e7","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$6C8E02A4-CCC4-4FC1-A34E-73E0608BDD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95f1f131a2b4fa8bf7f37db5dd3c9e79bb45533","datavalue":{"value":{"entity-type":"item","numeric-id":1344880,"id":"Q1344880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$EA925674-9AB5-42C5-8824-C7B45C284D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48e07c002bc7683c3178d8593d875b566ed8f38","datavalue":{"value":{"entity-type":"item","numeric-id":1186428,"id":"Q1186428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$717654AE-A361-4BF9-B25D-F7976A8132A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3e269fc02c9b53608cfec5073ae55b9eeff34d","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$15DF0F0C-D562-43B2-8F74-908621A1C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$E66C392D-174D-4571-AACA-A1323E215697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$B7FE10B2-0B9B-4D42-9521-299BF7FE8FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54094cff1080fe555cb648f965d875615302a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$83A60128-98AD-4904-826F-10224B92AFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236443$0E02F44D-0D2B-4AD5-918F-39FBACE35E11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93744c7e609bc50f3301d061e107d32a79b98274","datavalue":{"value":{"entity-type":"item","numeric-id":4236063,"id":"Q4236063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5e77ac425fbc45d24cc0a7425897613535bbab","datavalue":{"value":{"amount":"+0.8583213686943054","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":"Q5236443$52142848-0494-4FC4-8B16-B216A891CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcaba2fd98080425a3be2b11d79740e6e6b7f60","datavalue":{"value":{"entity-type":"item","numeric-id":2757835,"id":"Q2757835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22a95e8e2c805828a17e9341357c54896606ace","datavalue":{"value":{"amount":"+0.8576343059539795","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":"Q5236443$BB14CB34-A7B4-484B-BCD1-DBDD8D9AD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e232d64737453bcda8feccf686c56e7a87f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d955d926e080ea21c9b4f4ca52801d2761dc0f7","datavalue":{"value":{"amount":"+0.8471633791923523","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":"Q5236443$36ABAF6C-CB1D-4086-B178-551AEC801E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aa3dcda7621c0f67f1f397a8e1414dd729e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada81977f0a022e1c4e9729f85505ceb0a7a814d","datavalue":{"value":{"amount":"+0.8456748127937317","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":"Q5236443$B9AAFDFC-8DDA-4A90-B40C-A200F3C211D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adcb1e52a149519533ba5f028bd31f12d151367","datavalue":{"value":{"entity-type":"item","numeric-id":4841298,"id":"Q4841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143060551ebd789ad4a97aee1ce096afcf411721","datavalue":{"value":{"amount":"+0.8221402168273926","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":"Q5236443$DCC0DDD5-9081-4E16-8189-D8678FBEE5E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Similarity saturation for first order linear temporal logic with UNLESS","badges":[]}}}}}