{"entities":{"Q3512515":{"pageid":5542419,"ns":120,"title":"Item:Q3512515","lastrevid":88313765,"modified":"2026-06-04T14:12:10Z","type":"item","id":"Q3512515","labels":{"en":{"language":"en","value":"Semi-external LTL Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301140"}},"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":"Q3512515$827BDD45-788F-47E3-B33B-8546116B2443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3890dc24c27fe880aa02171425dec466852177a","datavalue":{"value":{"text":"Semi-external LTL Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512515$C48CF6EA-8468-436A-9424-7809122085BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"653dcfc280faddc8b308605ae63493f3afbd0958","datavalue":{"value":"1155.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512515$6453B617-2EFD-4962-85FF-5CE7A76B18E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1daa70a94dbb47f8f1d910562007ef195fe917c","datavalue":{"value":"10.1007/978-3-540-70545-1_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512515$ABE5B056-8F25-4F66-A793-AF9A2001A60B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$D2C52074-1BB5-4146-96D1-EA405871BF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32041dc8c7e1831a4f6dd3ced017267f09d3efe1","datavalue":{"value":{"entity-type":"item","numeric-id":181233,"id":"Q181233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$E7A92191-1F53-42B6-A607-A0A022EA0706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a9cd9c3cd13af4bd8a88aa167a17d0b862765d","datavalue":{"value":{"entity-type":"item","numeric-id":617929,"id":"Q617929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$EC4BA733-A841-4A3E-9A71-D18507BAD9A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$356A5BB5-EBF8-4BC3-ABBC-24131F57795D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512515$D8FC672D-6AED-4B4D-AB69-7EF5ECC9ED1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512515$045A2DA5-E0F6-4CDA-812E-35A158DE27F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be8ac69d6f1c1e36c83ca10d962efd9ed118704","datavalue":{"value":"5301140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512515$5D04709B-C01D-42DC-9BBB-B5B20146AD55","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$DFC734B2-E657-4050-9944-A586C295C205","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":"Q3512515$135675AA-CFFE-4AAE-BD94-7067E7664FCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"728a8e4a0ca5f5e87740a89af98f4509fe8399b0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512515$BF20B24E-C290-421B-9388-A574CE22CEE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efdf9f56d3fefb4262ad4eb122ee302234b64cd0","datavalue":{"value":"W1576345759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512515$D1BD45B4-B0E0-4D21-BF98-47A871CF7DF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a106f80404d79e86cf763f0219c4a73ea617b6","datavalue":{"value":{"entity-type":"item","numeric-id":4252035,"id":"Q4252035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$1B186F53-CA09-4DCD-83EF-443355A21C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd23ef8f92ec1dc2b374fab105feaf501cdf077b","datavalue":{"value":{"entity-type":"item","numeric-id":5458320,"id":"Q5458320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$E9B3DCF6-C8EB-4917-B1AE-437C5DC7B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a94c69a78a0a4269f7712b9dce6d6fdcf95432","datavalue":{"value":{"entity-type":"item","numeric-id":3603522,"id":"Q3603522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$80EB34C1-13E7-45D1-B2FA-A35476278855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afefbf65bbe239a7b4e62ed7865463cb8fab21b","datavalue":{"value":{"entity-type":"item","numeric-id":5492992,"id":"Q5492992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$D2E36FE5-5883-4398-B76F-7266EE610270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1790bd633b004205ffed2a2f674ef41d8831d","datavalue":{"value":{"entity-type":"item","numeric-id":4426370,"id":"Q4426370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$E881C6E5-3E4C-4160-BE9B-F7F5A2C1F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ccb1e5bcd70dfa47787a4c486db0674f7a618d","datavalue":{"value":{"entity-type":"item","numeric-id":4886043,"id":"Q4886043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$44061A4F-5743-4D07-9858-2EBB6AF1574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19666e60aa5f5be77088292c4f14386e9279d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$4E33BDFD-2871-4F06-9910-A484F0FDE858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c68f48b66d4d04696fdb7856ffc7754b328bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3038628,"id":"Q3038628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$B77503C1-0C03-415C-AA89-30202FEC5458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573cda9df2a1cedbf9f5b001e161b20d2738d9af","datavalue":{"value":{"entity-type":"item","numeric-id":4411404,"id":"Q4411404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$3FC1005F-6976-491A-B9D2-A7ACB44710A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97971c9576357e8c2862bb35351a38f88c5153f2","datavalue":{"value":{"entity-type":"item","numeric-id":1403156,"id":"Q1403156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$DAFFADE4-78F8-4813-836F-C66B8B9A5843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd165aa1787f700483c7fe39b997fd0a54aa1b2","datavalue":{"value":{"entity-type":"item","numeric-id":4252349,"id":"Q4252349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$BC029A4F-41D4-44D6-9906-EA1FE2C87C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512515$8DB5E3A8-67FE-41F3-8E2C-C3FD1463A5C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dade4585760ac78825fd0050bd0942512e34972e","datavalue":{"value":{"entity-type":"item","numeric-id":4804902,"id":"Q4804902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88897d38703affbbb8561f09ab74609dfcafe7ad","datavalue":{"value":{"amount":"+0.9168802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$F0831C2B-06A6-48EC-80A2-8EACDF60845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fc964f8844973ab2fd1c02c4bfed9d48e813f0","datavalue":{"value":{"amount":"+0.91102326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$2BF9BABD-521E-4DA7-9860-5CB0301AA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b68073369f0cc8b5e82b6b47fbeb08c63281ed","datavalue":{"value":{"entity-type":"item","numeric-id":4899142,"id":"Q4899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c54f67f807ad5e5db83d4193b9a0b9fa0b45d5","datavalue":{"value":{"amount":"+0.90618426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$F3B4CED1-E18F-4497-B4D0-BE300E5B558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0de75336455743d7ad54fbc8ce3c3a9bceade7","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a50268f6a4c01c042702d4180ff47fef50a6168","datavalue":{"value":{"amount":"+0.89804304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$F60760C7-6107-4A8C-AD8A-E4672B44C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5350b5d184cb08d6ecbfcd10e3c31a29afc044","datavalue":{"value":{"amount":"+0.8953128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$EC944397-A051-434C-80D9-F6B9050A6061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cce6c5d0680edce78f2118ac60160286e46a0e1","datavalue":{"value":{"amount":"+0.8906338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$499AA17E-B971-4BBF-8B82-55D7700148B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea73fa9a65540cd0557410bb1f326c62a439b5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5166707,"id":"Q5166707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70de91b38df0df2f77d2ed972cf2f95ea3ad116f","datavalue":{"value":{"amount":"+0.88973755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512515$D0142FC4-CA39-49E5-AB16-DD745FF94646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-external LTL Model Checking","badges":[]}}}}}