{"entities":{"Q5154744":{"pageid":7184315,"ns":120,"title":"Item:Q5154744","lastrevid":54108233,"modified":"2026-01-26T06:36:20Z","type":"item","id":"Q5154744","labels":{"en":{"language":"en","value":"Merge-and-shrink: a compositional theory of transformations of factored transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7406483"}},"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":"Q5154744$697F5955-8CBE-476B-B8D9-89F25468B604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70759cd9270b76f090be9db1ce1d16f07558d7c2","datavalue":{"value":{"text":"Merge-and-Shrink: A Compositional Theory of   Transformations of Factored Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5154744$08548349-7B1D-4F09-921A-C2BB485C6EAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96591f7f85e262a28d18dd5d498bc96a00721a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5154743,"id":"Q5154743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154744$AE398E33-347E-4A67-A910-1671278A8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71c227b26d9806b159a4606416064289b4db48d","datavalue":{"value":{"entity-type":"item","numeric-id":814424,"id":"Q814424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154744$9161B99C-042D-413F-BBAD-1C852A53D313","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154744$F3B31A6A-153F-4033-AC89-A660DC52C3D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d1b2eab6ef1c04945b40d3e5f92b825992f5190","datavalue":{"value":{"time":"+2021-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5154744$3B776F05-85F4-433A-A1E0-D91DF443E2A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154744$8BF372F6-771C-414C-934E-34E95477F6CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e801437f0bd24262e07ba382f82ed001a97dc5","datavalue":{"value":"7406483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154744$C9EFA5B4-6124-42E6-9E9C-2EAA18213F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5154744$C441E098-B068-45F0-A158-C042FDC87402","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":"Q5154744$8EF1CC44-146A-47D7-B9DB-E1DF65B1F653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682392b9b750e14c872b46d6f17fe97a136ab80c","datavalue":{"value":"https://doi.org/10.1613/jair.1.12557","type":"string"},"datatype":"url"},"type":"statement","id":"Q5154744$D85015FC-1305-47DA-9B6A-3DD676AD0451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e01ac80f7ebd93f70ef4d8f68da46c0014d9f5a7","datavalue":{"value":"W3195634984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154744$0EC639AB-1D17-4C7C-9B73-114634DDE2D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88f0728acf36e7038c1f7b74799594ae5b401a6a","datavalue":{"value":"10.1613/JAIR.1.12557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154744$667BADAC-2776-4DB9-BBBD-52D4B27D22DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c59219c96feddef9f9bb8dc49d078bd6e66d5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3189651,"id":"Q3189651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d915a32aead7cc97c0073484840f47e9de181dfe","datavalue":{"value":{"amount":"+0.8030508160591125","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":"Q5154744$41E5C4BB-4208-4514-A027-8689EC35525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f70c79841e24f06765cd6673bb753759b21d31b","datavalue":{"value":{"entity-type":"item","numeric-id":2060741,"id":"Q2060741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c104d0fdaf9a8c2e024d6425e39529d9aec33da9","datavalue":{"value":{"amount":"+0.7841798067092896","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":"Q5154744$7EDB853C-5E6F-4283-885C-1C8368CC7D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff80b1d90f4e48251a58ac6ba2f47767855f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":1199918,"id":"Q1199918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0660c5f2bc9f4b181cf4a9b49e711a5603c516f6","datavalue":{"value":{"amount":"+0.6758385896682739","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":"Q5154744$A0E3D9CD-8214-4E7B-B2E6-C4E79980C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bea6e6cf158e5343b0568f698fb26b6848fb66d","datavalue":{"value":{"entity-type":"item","numeric-id":2061250,"id":"Q2061250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944e5b1272ebee48efa30a3cfa957c9e8fce3467","datavalue":{"value":{"amount":"+0.661928653717041","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":"Q5154744$DB914076-461B-480C-AE64-3A784DCCC858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187d9a095598c8310a3d2ec5fae82263ab311692","datavalue":{"value":{"entity-type":"item","numeric-id":622104,"id":"Q622104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b17a796a08a1ffaa18443266638e290c2e0ec5","datavalue":{"value":{"amount":"+0.6577099561691284","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":"Q5154744$2295EC52-36C4-4BE2-97DB-81FA65B5A21D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5154744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5154744"}}}}}