{"entities":{"Q3400928":{"pageid":3411631,"ns":120,"title":"Item:Q3400928","lastrevid":80408732,"modified":"2026-05-06T16:07:49Z","type":"item","id":"Q3400928","labels":{"en":{"language":"en","value":"Bounded rational search for on-the-fly model checking of LTL properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663819"}},"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":"Q3400928$2346896D-3729-4644-AA8A-A478DF0177A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb52c685f9e298d19c47718da1237f7ac32bb52e","datavalue":{"value":{"text":"Bounded Rational Search for On-the-Fly Model Checking of LTL Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400928$ED8857C6-CDC2-4801-BADF-8FC0249C32BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb91351ca93547b6faed989744350bb5f677e1f5","datavalue":{"value":"1274.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$55D3131F-B740-4528-ACC5-D24EF2332833","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23a9856aac842fb865848bfb2a2576a95b4d246c","datavalue":{"value":"10.1007/978-3-642-11623-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$BAEE6A5F-7C0E-4DAD-B788-8C8228CB4837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43954363d9d903416f77a868a1fbadd5476c7003","datavalue":{"value":{"entity-type":"item","numeric-id":3400927,"id":"Q3400927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400928$6797AD4F-F99E-4061-BD5E-C681577457FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9ea0ccde3d48050e3eb0636437332cb8d7497c7","datavalue":{"value":{"entity-type":"item","numeric-id":433342,"id":"Q433342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400928$D7C1881D-FFAC-4C43-A04E-61E438FD0AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8bb807f178300d55fc86525f0bde75153cdd9a","datavalue":{"value":{"entity-type":"item","numeric-id":1628226,"id":"Q1628226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400928$07D7AA45-5D0D-4F56-8E92-C375016F3BAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400928$8FCA1C56-2A5E-4FD6-85C2-707B89C60753","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400928$540DE05E-F15D-4888-BBF4-9F09F9794E1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$4FB0531F-3553-40ED-B1C9-944175B5A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$D2A4F76E-39F7-4611-A0E9-0B8DA2A4148E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4362d61b61e65fc39b0e76afb3fea03edcc83c6d","datavalue":{"value":"5663819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$1EB8D2B1-D8A9-47EC-A00A-F420AA9800A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c3020f8c72b225585d99df4c96d51f1a445bae","datavalue":{"value":"concurrent systems verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400928$24E594A7-CE58-4AFE-80DC-AE85137929EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400928$668B10A3-3E25-4187-BCE9-940EFC8740EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81bcd712fa5db096c0723826e73ad920eb342eb2","datavalue":{"value":"approximate probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400928$D2D028DF-E7C8-4BAC-BE26-6A8B881FE72A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400928$FC4A4F0A-7153-4713-9975-8410E0CD46D1","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":"Q3400928$485556B9-7DA2-4CB7-B61F-78216D9D1BC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a32f923fcbbfcb8b5a0b29bd657e8761611bfb38","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400928$EC46F7F6-60CC-44A9-A0EF-A6118026EEBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"788be3948781e320ddbffd8f6156ca60a86ea7af","datavalue":{"value":"W1512485549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400928$E21E7478-0B3E-4E8F-9E6B-B962B239E9FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d597a7dfd64e1269010e4d7e699cddb575cb1cc","datavalue":{"value":{"entity-type":"item","numeric-id":510894,"id":"Q510894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688908f8885e1f35fa0cb2677357e2bd44f989ae","datavalue":{"value":{"amount":"+0.760741651058197","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":"Q3400928$C93631D2-8052-491C-827E-4E5C4A05134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3a60de5ef49da670df84bd90887c5532833a6","datavalue":{"value":{"entity-type":"item","numeric-id":5216078,"id":"Q5216078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8d74095b2066bef3ca3f5d1993d9597d42b327","datavalue":{"value":{"amount":"+0.7602858543395996","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":"Q3400928$1C14A147-8F33-48BA-8A89-69F798865B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a8f07fe7853cdfa449ac93439c49f2affd2a7b","datavalue":{"value":{"amount":"+0.7558319568634033","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":"Q3400928$1F0063A8-035D-48F0-B42B-D801C84D00FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f593eaf0f53b115179d2edc6caf72a299a60276c","datavalue":{"value":{"entity-type":"item","numeric-id":1951607,"id":"Q1951607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef3ac5f4299a00a4321691539be8907ffb32d7f","datavalue":{"value":{"amount":"+0.7513754963874817","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":"Q3400928$921D264C-2C68-4F37-B9B1-45640D784055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebe4017728386c6d49c3434995e51c7d8160cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1630037,"id":"Q1630037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8d063eed85d3e3ea30a1af00fdff0e7528dd37","datavalue":{"value":{"amount":"+0.7461955547332764","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":"Q3400928$C2EC29BB-AD24-44AA-9831-091DAECD0422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded rational search for on-the-fly model checking of LTL properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_rational_search_for_on-the-fly_model_checking_of_LTL_properties"}}}}}