{"entities":{"Q3087449":{"pageid":3098164,"ns":120,"title":"Item:Q3087449","lastrevid":51315959,"modified":"2026-01-17T17:47:01Z","type":"item","id":"Q3087449","labels":{"en":{"language":"en","value":"Transition systems for model generators -- a unifying approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939287"}},"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":"Q3087449$F9944593-994A-42EE-855B-4D9D335CDDA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3217dd05a080b43889cc743ac55516493fd6f42","datavalue":{"value":{"text":"Transition systems for model generators\u2014A unifying approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087449$12F888D9-44BD-46DF-8E61-FADA882BCEB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a20e4f9668d48a3d9fef0a012a5cbf62b3f2a6d","datavalue":{"value":"1222.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$A797002C-AEEB-47BC-AC77-1D23EB03A173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2154cdcb8441bcee0853d2171673f6978112d2ef","datavalue":{"value":"10.1017/S1471068411000214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$26B53B8D-97B2-4B31-B294-63B916540E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$D42ABC37-8906-4D59-B43F-BE0A23128FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$1BE5CF56-E6D8-48C0-804D-B5250BF5A6B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$5CADD2DE-84B9-405E-9787-83191C263044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087449$FE827A93-235F-4386-A948-682A66BEA06C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$ABCD0627-12CF-4868-A4DC-A4A3F9B45142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$C457F0FD-3983-4DC3-A8A2-365B393BE5ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63dd35f7b8cec3d696d674a8fc8a447de39d5636","datavalue":{"value":"5939287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$E5F8F42C-5EFD-415F-B7B0-BF41BDB54ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e8fb24190d53185fc187965e543396cedadbb8","datavalue":{"value":"satisfiability solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087449$A9964F8D-F5F3-4370-A2C3-3C214DA7CD1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$9BE309F4-3FFC-46B9-AA61-618685B7F5FE","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":"Q3087449$663E9D32-6992-4365-94E3-414941E96BCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$D63F980B-9C64-4929-BA41-7557D4861001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$98B01A02-8F37-4345-A2AD-0832AF1759D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$2ECFEDFD-BD20-4997-B6B0-BD952F9B4331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$7F063500-3A8E-4E45-8F2A-3D7118FEBC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$CEEA5BDC-DE02-49B1-B2D5-D66BB3491B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c0455d57559bda0813a0bd0c40ad75adf280c3","datavalue":{"value":{"entity-type":"item","numeric-id":3008404,"id":"Q3008404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$70FB91F2-D109-4EDD-ADB7-BDBF22DC23D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$A915EB19-FD61-4772-8FE2-6DDFAF45EBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$DF25C6EB-4D0B-4EB8-8EDE-C738992AD034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3812d39c71bdcd655c6149230a6ae090e1a345","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$B2183666-05A9-4493-B14C-CAE91172FDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$AF42FE2B-23F0-43D8-B486-65F8636D5EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087449$FBA4F5D8-0FEB-4E15-AE79-6E0EF270F035","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ed61889b1b5450c75288e77f744f19e8bd22bde","datavalue":{"value":"https://doi.org/10.1017/s1471068411000214","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087449$EB2B6DF4-B9EB-4E24-B84B-27D611A189B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc824caa26a042066a9c10cde7583d90abbc7158","datavalue":{"value":"W3103684517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087449$2A237D72-4552-4139-9CDE-0E5F6E5F0A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faebb0c9bc809c0d14c37256eab33f9436f077a","datavalue":{"value":{"entity-type":"item","numeric-id":5282970,"id":"Q5282970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e83f4856b17a446deb39990f2f286bd2a6b6f06","datavalue":{"value":{"amount":"+0.7915553450584412","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":"Q3087449$CB3EC335-B10E-4674-B02D-E13D183FD4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df0a704069eb49c994220515c17d02ba95667f","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88999449afe3453a905e9a899f8b8ec79414ee15","datavalue":{"value":{"amount":"+0.7885726094245911","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":"Q3087449$DF631DF7-C4BA-4981-8AEC-E76F02C3E66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b09d5a289950563238329eda31ca9834ff6b550","datavalue":{"value":{"entity-type":"item","numeric-id":4593037,"id":"Q4593037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e3bbf39ab78f43321bf6fa01ebba2c2bade918","datavalue":{"value":{"amount":"+0.7879534959793091","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":"Q3087449$EDE660C1-69BA-4305-9966-58E9B75AD330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f746e169bd728dadc25f46f178a8b71bff7416","datavalue":{"value":{"entity-type":"item","numeric-id":3008404,"id":"Q3008404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0056a3f3d8e43945d75555bf17403ac56244303","datavalue":{"value":{"amount":"+0.7670137882232666","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":"Q3087449$97DF06D6-4869-4F11-8AA0-6277DC519BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f965dee0a264858ef5a98a69afa73d4f9201b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5475768,"id":"Q5475768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6f31759cdd7cda2e4a3eb14db59b790e1948ad","datavalue":{"value":{"amount":"+0.7554274201393127","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":"Q3087449$5E54D306-4FBA-49CE-B071-A10DA4A227DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087449"}}}}}