{"entities":{"Q4635659":{"pageid":6665240,"ns":120,"title":"Item:Q4635659","lastrevid":53070389,"modified":"2026-01-24T04:10:30Z","type":"item","id":"Q4635659","labels":{"en":{"language":"en","value":"Anchored LTL separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863132"}},"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":"Q4635659$B7E4DDB7-58FC-4C61-BE2C-05D43BE56333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07cda7a300662075c1fbb67881d601d9c4e551ec","datavalue":{"value":{"text":"Anchored LTL separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635659$724DAFE1-65C0-466E-8174-65696C46523B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0fdeb5e5c9cf170ccb1ee75e7ea67434b2cb87","datavalue":{"value":"1394.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$0F605621-8D4E-4EAC-95C0-1227C31E4260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d602455b0e7c040a4489b59a218b52676200d14","datavalue":{"value":"10.1145/2603088.2603139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$714240A6-DC42-4038-BDEF-911A05A6B13C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e26b2d4edc59b06b90d057bf99ffc169ec474966","datavalue":{"value":{"entity-type":"item","numeric-id":2448110,"id":"Q2448110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635659$B754FAD1-004E-46A3-B40F-A5A217970D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2e4e7a10527a6cc63baf83d28c8d9592237e78","datavalue":{"value":{"entity-type":"item","numeric-id":2448111,"id":"Q2448111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635659$CF23155D-CE1B-4C90-9638-5FA89AB6E1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635659$FC86BCC2-7EF6-4252-B75F-B1DA0B8DCC79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635659$7D456300-44A4-40B4-B25F-0F392FC3DF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635659$9AC52204-517A-4C2D-8D86-20DBBB99B767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$B12446D6-6616-4312-B265-C71BB9371D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$5A5B367A-A60E-487E-A7B4-4B5DFF03C177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9eaaf64f36fb502187d30037e94c89cd9c549b7","datavalue":{"value":"6863132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$C81CD93A-B5D0-473C-BA8F-D683BF9D01FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635659$D9658D64-9309-44B6-84FA-CC9638FE9854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635659$673A9E0B-DC41-454A-B2E7-40851DBB6504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635659$9EA4025F-171B-40CF-8077-18B322C1DC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635659$2E358EBC-0CB3-4EEE-A793-9792D2C3C74A","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":"Q4635659$1369EC98-DF43-4569-AF9A-9105E72BA7C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed2d26345bc291848d5adf87a2642acb82f5b763","datavalue":{"value":"https://doi.org/10.1145/2603088.2603139","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635659$02D76356-12F7-45EC-A666-23D671F3655F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"658ea14399857643cb8f873d139d4b5ec568d1e3","datavalue":{"value":"W2137725128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635659$5EF8ABE7-B16E-4718-AE81-040C60E68081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a35604cbd6b9c3d5a84477d60042e36f773f43e","datavalue":{"value":{"entity-type":"item","numeric-id":2448112,"id":"Q2448112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e54970cf4487abe7da2f4de03c167796c98b75a","datavalue":{"value":{"amount":"+0.8139379620552063","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":"Q4635659$65260D7C-EA6B-4F15-BFC2-4761D1E739EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8904205aac4527b1229618c843ec821907c5758","datavalue":{"value":{"entity-type":"item","numeric-id":5020355,"id":"Q5020355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5924ee07988c49e03c0be8a9c29f66997710adb8","datavalue":{"value":{"amount":"+0.7702813744544983","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":"Q4635659$A289F25F-6340-4ED0-9A57-406680FA72CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c270ffe5a76dc7f7de534d465d08bbda09b969b","datavalue":{"value":{"entity-type":"item","numeric-id":5074367,"id":"Q5074367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a5a4ee955a4e2790b5fa8facbb55a1cc125e5a","datavalue":{"value":{"amount":"+0.7687308192253113","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":"Q4635659$55C7027B-6323-4863-B3A9-3CAEC6E96A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e571d11edd710698b4f965d238ee463d15319e","datavalue":{"value":{"entity-type":"item","numeric-id":3012526,"id":"Q3012526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ad67f8c8ce94eaeb638a1fffb178619ab13936","datavalue":{"value":{"amount":"+0.7371987700462341","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":"Q4635659$5AA151F1-20A9-44DE-829B-DC7BC27B562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a23c6ee92dbaf66513ec87024db86d3f889f745","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a617b9683ea0f910924e01a5270e23700a74fb","datavalue":{"value":{"amount":"+0.7357056140899658","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":"Q4635659$CF5B5942-840F-4EDD-9E3E-919A05E3B379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635659"}}}}}