{"entities":{"Q6162102":{"pageid":13296983,"ns":120,"title":"Item:Q6162102","lastrevid":47867758,"modified":"2026-01-02T22:36:42Z","type":"item","id":"Q6162102","labels":{"en":{"language":"en","value":"A space-efficient on-the-fly algorithm for real-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703609"}},"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":"Q6162102$CE4087A3-B833-40CA-870E-ABCD59FD0E86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9d2852046601ef6099e9fd9adf0f4bcd41e9831","datavalue":{"value":{"text":"A space-efficient on-the-fly algorithm for real-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162102$E70F7EE2-FF10-4270-AB04-A4B6743E36BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0b5c7ec660e952061c0be240c60d4d290046648","datavalue":{"value":"1514.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$EB0ED5B9-73B7-4787-81F7-36ABF4073B3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8987629790097bc2d4dcd1d6134109d573dfe8c2","datavalue":{"value":"10.1007/3-540-61604-7_73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$F4715914-8527-4BA2-9D06-27F58161CE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$EC7DF888-8C07-4F4F-B52F-F557834980F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$6DBF8CDE-D512-4C1B-B4D8-F617A7C8766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$B9A86A07-318B-4710-BE34-66AC65648439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40e977a827c62303d6a73bc259ccdb9bde4f6877","datavalue":{"value":{"entity-type":"item","numeric-id":6104361,"id":"Q6104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$7BA8519D-15E7-4F41-8235-BB42E3DC0573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-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":"Q6162102$1AE43ED8-7669-4084-B612-0D96A7CAD076","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$8B782472-053E-49F7-A13B-5AFB1A8880EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$0CE533C3-1E21-4587-8020-E161108CA267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$C53970A7-F780-4E5B-98DE-6BE7B1D6F86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$B6D0D71C-4AF1-4D28-BCE4-1F81CACAA17C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53243e52551c31b437ff98575946b1e9bd180ea0","datavalue":{"value":"7703609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$FD0BE47C-71E7-4FC1-9B58-3D85C623752C","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":"Q6162102$505797DB-6DF8-456D-8470-96817CFB4FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"324214b284077378ecf6d47b3838470b8de56515","datavalue":{"value":"https://doi.org/10.1007/3-540-61604-7_73","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162102$E03350BD-0486-466A-87F7-C3E50DF58661","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"604c1e9b772f9f1eb822177491c89ad8c8737ac0","datavalue":{"value":"W1828963152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162102$2B95273F-B1F3-4CE2-9BCC-EDE1CB9151F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$3B8316A2-ABDF-4C35-83D6-4D3981DAE224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$43CD41B7-8957-49CB-85E3-2C5D2AEDEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$764D8399-62B3-44AF-B7CE-54AAE2B7B68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$DEC4E10D-ECC4-48B8-B50D-8926A2855AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$BFF0A4A5-B1EB-4C6F-8419-50534C6A3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$2DA4E4A1-F004-4EDC-926E-53E8F0BF1DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$61076FDD-21E2-4044-AF2E-029175C793D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$701CD174-74F0-4FE4-AB44-84F90C604DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$A205E694-F203-40F1-A753-A26CFD51EBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$15449F11-1C72-46CF-8A45-04D015D97CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$1279863F-BEA3-489E-825D-EA3BFC5CDC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$26B91CCB-ECFA-47E1-A0AB-763316EC545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$7960185A-5006-4429-8CE9-78ACA962847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162102$6A6D9587-A7A6-484F-8DB6-8C8C520ED770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d73b38ccbae103af343ec26ab9dd269f852cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b9b0bbb6d13d65284e80c927bee93ea048fdf0","datavalue":{"value":{"amount":"+0.8171603679656982","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":"Q6162102$5594B70B-AEE6-4BDF-A600-BD87572C759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e94ee4fabd07c2ccdcbc4d08120fd88687c20f2","datavalue":{"value":{"amount":"+0.8073371648788452","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":"Q6162102$F5C3CA31-B508-4973-B457-8E39C27BCDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2ab44f5774b1208cb602f5692280ac9535e860","datavalue":{"value":{"amount":"+0.8051342368125916","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":"Q6162102$5DA4A0A2-55A1-4C2E-AF5C-F49E1CF45B25","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":"19b111bcf1192031f3ab95d12ae46a74cd2bdd64","datavalue":{"value":{"amount":"+0.8026701211929321","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":"Q6162102$86D50F54-3344-4FA1-8FFA-750B38F7A65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e912f4160c2881ecbbc72b6838113aa93b9e25","datavalue":{"value":{"amount":"+0.8026179075241089","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":"Q6162102$CEB0212D-B6A2-410A-B8E9-DD23283E199F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6162102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6162102"}}}}}