{"entities":{"Q5121264":{"pageid":7150838,"ns":120,"title":"Item:Q5121264","lastrevid":58446765,"modified":"2026-04-05T06:29:29Z","type":"item","id":"Q5121264","labels":{"en":{"language":"en","value":"Model-checking on ordered structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246542"}},"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":"Q5121264$886AB9BB-DF1F-4F5F-AA53-153C00B47AA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"516c7e56aa2189792696440d9b5c97385f72a29d","datavalue":{"value":{"text":"Model-Checking on Ordered Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5121264$E2F0376F-08F6-47F6-90F8-92C7D891C498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"509ad7c3b37428e9f2475c301e2735e7db27ab0c","datavalue":{"value":"1446.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$16E41137-7716-41E4-ACFA-CAC426FECFAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4901c0343238ae47cd768ab6837ab71e8a046d66","datavalue":{"value":"10.1145/3360011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$0D99983E-D49C-4B5D-9AE3-6334120833E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af2473304ebaafdd7253ed895a2eaf394a18571","datavalue":{"value":{"entity-type":"item","numeric-id":1679972,"id":"Q1679972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$EDF0EF3D-9C04-4637-82E2-CFD3885D169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c8be4e8342e8aed0236bfd0c0eb7f3898c558d","datavalue":{"value":{"entity-type":"item","numeric-id":322313,"id":"Q322313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$BDF136CC-FF60-4D35-9ADB-9FDCEBBB961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f4e7bb5eb3d92423af4c11d1172a2aa89ed8c8c","datavalue":{"value":{"entity-type":"item","numeric-id":214979,"id":"Q214979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$8DA2D254-8B7C-4317-B4A9-3B681C7ACB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$159DCEED-DAD5-44F0-9FDF-3BB0D65BC169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e07e2811d8526e9d2bf7c2061a6507bd9fb3972","datavalue":{"value":{"entity-type":"item","numeric-id":175580,"id":"Q175580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$AE031759-165C-4396-895F-EE1C61F90E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$10637686-A6E5-4878-A7BD-76EDE911F0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a33341797c860a0bd34732ecf0f1304fd0e9d1f","datavalue":{"value":{"entity-type":"item","numeric-id":322314,"id":"Q322314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$315BCBD2-3DF5-4A96-8D7D-D414DE99C512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f61c2516aa40ce87ce4cd042da97159dcc1258","datavalue":{"value":{"entity-type":"item","numeric-id":322315,"id":"Q322315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$70AEA759-1533-4961-897A-509958C4AA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1368ef79828180456cbcb054229217e5e5543d3","datavalue":{"value":{"entity-type":"item","numeric-id":1633746,"id":"Q1633746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$5A99203D-EBFF-42C3-B7C7-41FCFAF119BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121264$DDD1CD62-F2AE-4DE9-B3BF-3D396C2F3EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5121264$04966F0B-C1A7-4D8D-A20C-91233E51AC1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e387e10ab9389a6c9c264ad28311c8e48a95cb75","datavalue":{"value":"https://arxiv.org/abs/1812.08003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5121264$DB00ED99-F1F4-4128-9898-76B560BDE50D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$296FDBEB-BCD8-46FD-B54E-09DEFC1AFCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$9C9FE381-0404-4354-85E8-D2F6D7EA7403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$D599236A-A259-4839-B531-C6B3F00D7540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$D779F0FE-9413-499C-B53F-C0BB7A0854D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$E1B0025B-3192-46D2-8DDD-3BAEC58791F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5768bcff732b6f5ede086228f21d23de3fdf472","datavalue":{"value":"7246542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$5CC99D39-D4A9-40C2-B718-9AB59667274D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121264$72A2E380-6D63-4A5C-B487-814B9EA3A468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121264$2A87A729-31F6-49C1-A04E-8F545A442356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f105881160eb9e36ff285b0482ae452da4f51fef","datavalue":{"value":"order-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121264$16CFC677-E5A1-482B-A06E-937817B37B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f3efe281bc2eadb9ce4781d934977391cc34da","datavalue":{"value":"successor-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121264$2D597D73-8F8D-4EBB-8CA0-065BE0AE1CC2","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":"Q5121264$05777564-611B-4221-B2C1-4803E8DEE3F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e8e17e229f2c081aa30aa7250604e3639262e40","datavalue":{"value":"W3009631975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121264$16C03695-4F62-4792-9347-13C49A5B4B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2901b80a3861a943f3a33853d277185d4bf0b18f","datavalue":{"value":{"entity-type":"item","numeric-id":2986804,"id":"Q2986804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f5df7e13366ae37de8729a0171fe082c257006","datavalue":{"value":{"amount":"+0.952503502368927","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":"Q5121264$EA227F91-FE26-45C0-BF72-844D0D3DC31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d7fa86b5d6ac84cf9753f97c1abcec0e970f50","datavalue":{"value":{"entity-type":"item","numeric-id":5271050,"id":"Q5271050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8030a7f591ff9c339dd3c48b6709ed14fd6ade3","datavalue":{"value":{"amount":"+0.8491557240486145","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":"Q5121264$D20BD927-47FA-4330-B23B-61402571A028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020ee73da7b1d36736e628300ac86dcd9a76ca6d","datavalue":{"value":{"entity-type":"item","numeric-id":5278404,"id":"Q5278404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482e4a12bdb21af7eb3344a7f09e43b47a7cc807","datavalue":{"value":{"amount":"+0.8302684426307678","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":"Q5121264$FC9E1C31-01C2-4642-83B0-C0832FE18A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac025b672e75b5b26caaf343c1c91e99b4bf26eb","datavalue":{"value":{"entity-type":"item","numeric-id":5144662,"id":"Q5144662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195ab7572d1f15379b7056d5a98f5d028f519a1e","datavalue":{"value":{"amount":"+0.8155439496040344","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":"Q5121264$CF000CC8-89F7-4288-9746-1283615501F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c67c4a1e90a7f80693efa05756582e722b0b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4635897,"id":"Q4635897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d8b7b66e5e15c863ab0dff841eaa372e00bd87","datavalue":{"value":{"amount":"+0.7968726754188538","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":"Q5121264$91887B37-CB5F-4D79-9B44-AFAEEAA3EA1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5121264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5121264"}}}}}