{"entities":{"Q2891435":{"pageid":2902160,"ns":120,"title":"Item:Q2891435","lastrevid":51491375,"modified":"2026-01-18T11:59:23Z","type":"item","id":"Q2891435","labels":{"en":{"language":"en","value":"Ideal abstractions for well-structured transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046595"}},"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":"Q2891435$D20BEBC6-58A5-4246-A405-B8DBE57D6F9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ccd2511597ff0c6506858dbddc953bbc24d6cb4","datavalue":{"value":{"text":"Ideal Abstractions for Well-Structured Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891435$EAB149E2-F7AF-49D3-B5C9-79BFE8253D80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09412fe6bac7b89bb109da483140977837fc93ae","datavalue":{"value":"1326.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$AAEE3272-CAD6-44AC-BAEC-E63F8FD2D249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890d29146307f706cae92296302ffdf2fc9b92f5","datavalue":{"value":"10.1007/978-3-642-27940-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$9EB16EFC-87D4-485F-B1BD-EF4389224215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d1a334f4c9c20683ee87869e54286898664987","datavalue":{"value":{"entity-type":"item","numeric-id":1784330,"id":"Q1784330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$5649BD93-B870-471D-B0EA-8C49A6C4D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$65C20AE6-941A-4A7C-88B7-1CCC6310A0B1","rank":"normal"},{"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":"Q2891435$A8CD14D0-BBC0-48B1-B788-EFBFB11570B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$FCB1E458-A0B1-4A2B-821C-E373FDA88FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-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":"Q2891435$9D77F866-AE27-4FB8-A1E0-59DC06D18D4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$602CFD13-1E90-4AC6-8F1C-3DB4C6A97544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$A9F983B8-6910-4452-86C9-FD09A4CBB4C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d8b5ee2b32920f18ebbd98e75eca2723e5a8c61","datavalue":{"value":"6046595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$A7D1976F-F0A5-4FB2-92D1-C5E267E014AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3286eb7176bc5c34d6d38549e4bd590637e09717","datavalue":{"value":{"entity-type":"item","numeric-id":52478,"id":"Q52478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$2FE3D2A5-A552-4508-867F-13C6D70F48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ca506cb77d1c65753736b81f63c4c30e77ce93f","datavalue":{"value":{"entity-type":"item","numeric-id":52477,"id":"Q52477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$C118D1C7-6F93-442A-A81F-A34704EEA3DB","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":"Q2891435$DA229555-C630-4CCD-A3EC-2C07AE0ECC34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a06bd7015c46a9b6b0e53d2eec139192f5238560","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891435$423DB84A-600A-428E-A43B-D5A142418D8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e4f9507200bd962a7c1ac235187ece9b8341392","datavalue":{"value":"W84385201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891435$CAAF5C06-918A-468E-8FC5-8C569BBE7D1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$4C66F456-210C-4B2D-B088-0F9AB88A4306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$0DA9A07E-E6DA-4FB6-B0AB-66FB28586044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$876E9C1B-9A87-4151-A55B-CBB35F55752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$64230AC6-2631-4204-85FD-30B018136837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$C7CAAF37-DDB5-4B0B-BBAB-9C7987237C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$3B2DB603-97BB-46C2-88AE-D402973DF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$6E69A383-4D21-4203-84D6-A5767F948CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$2AC2358A-E4D3-4E06-AF02-A53603A9D6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e5738e739579e3429c25fb182bd984c83b01f","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$6F6F3A5B-0428-453F-8693-9469897C2F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$0546CC8F-0EDA-47FB-AC42-CF5EAFBC8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079edbb478e94c4ee8deecc54d86df5097c74af4","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$DD655663-4062-405B-803C-120C12B8BBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$ECFE6F8D-96F4-4DF4-94A4-0A839B12CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1f6e25f0d909eaa21b77f8da08af74cb6687af","datavalue":{"value":{"entity-type":"item","numeric-id":1004064,"id":"Q1004064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$66219C83-E7A3-4CFA-AA5D-207BB1B4F8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b8afe576fba85ad46dd90796966e6296b2410e","datavalue":{"value":{"entity-type":"item","numeric-id":3512494,"id":"Q3512494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$10385107-7AE2-405A-9848-5A4CA2411735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$9D589BB7-993B-4965-9FA2-1A4CA232DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd552339b50e4fb637ebebf5d4cba84a9a9e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$0DFCFE61-D73A-4F37-9AA3-B5A39BC4BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$FEF4B5DB-1DD0-4DC0-A36D-519CFF8D2981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4152a97f22f2b819f813b15c03434104369282","datavalue":{"value":{"entity-type":"item","numeric-id":3557846,"id":"Q3557846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$BB400678-A5AB-409F-BAF6-E988A27D326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c34bffd75a73c5982a482a6c8e9f549080e242f","datavalue":{"value":{"entity-type":"item","numeric-id":2891435,"id":"Q2891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891435$19279853-077F-4C31-AF24-C151959D8B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc15f2994bca9f06586ee05bddf671bd24a3a0e","datavalue":{"value":{"amount":"+0.8166930079460144","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":"Q2891435$1EF99B8A-942D-44B3-A879-8D4A932AB521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfa8a44417935c32d1d8ac7633cd1fb25487fe0","datavalue":{"value":{"amount":"+0.8166732788085938","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":"Q2891435$765612C0-42AE-4761-A92F-C2EDE0438FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b248b93fdec42083c1706c9774915baad71dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7adc35ee5e2bc294a244a318e1ab70327825dc","datavalue":{"value":{"amount":"+0.8092003464698792","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":"Q2891435$D342162A-B4B8-43AF-9702-1B193DC85E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9779a7ba39bf95c970fb8e4d5a0d02db93e3e27e","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c36aea34b8f5dbb86b184db83e4a6ec67610a08","datavalue":{"value":{"amount":"+0.8053392767906189","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":"Q2891435$291D6185-91BD-4C68-9A5C-9F21AA6F2132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2e2b2dee8485843496be4d1e75fc3cd821f7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1708652,"id":"Q1708652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd68af1773e2bcedba1677574cfa0c710e26c3da","datavalue":{"value":{"amount":"+0.8042035102844238","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":"Q2891435$B16FD415-8FEB-4979-A619-F8BD07CBD6BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891435"}}}}}