{"entities":{"Q2452757":{"pageid":2463500,"ns":120,"title":"Item:Q2452757","lastrevid":78694322,"modified":"2026-05-06T12:13:03Z","type":"item","id":"Q2452757","labels":{"en":{"language":"en","value":"Predicate transformers in the context of symbolic modeling of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300989"}},"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":"Q2452757$2B5C6A64-C169-4053-8407-AA3A9A042EF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bd61f55639b0f917f3b52aa8dbb9f6455a14fc7","datavalue":{"value":{"text":"Predicate transformers in the context of symbolic modeling of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452757$4188418A-F0FA-45CD-A403-29A245DFE7DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a859e2be08dac110f886924bd8c620b62e9f8bf3","datavalue":{"value":"1288.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452757$6E0A3D6E-4B6D-4382-9822-4724E6805CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58aeda4272a999744bfea79950e821af55428ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1364091,"id":"Q1364091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$E828E40E-F76A-4D9A-AB91-EF5AD951C96B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$C072AB75-61A4-435C-9302-B555B333D41D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-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":"Q2452757$2334D458-2C42-420C-A636-184CD34E983F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452757$263E9DDF-0718-496B-8BEF-DAC7131F7ECF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f32eaa23b8fad4abb42ef3757a92f31322f3aa99","datavalue":{"value":"6300989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452757$A053149E-86F1-4264-8A1A-F19D01606DC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"475e3bcd1e19df7539c8db629932f8c7d502cdab","datavalue":{"value":"attribute transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452757$678BFF51-7371-4CDA-87CF-5C0D9C2CC260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371ef6bfef94a6248f9cd95cf36a4bb103a93033","datavalue":{"value":"symbolic modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452757$CEA0333E-870D-438A-816F-7996B71B2881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452757$A6E98129-ACEB-4DDF-98BA-F043038B28FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04be6832d741bf69a64c0e889f689522fff67b57","datavalue":{"value":"basic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452757$93780A70-F82C-4644-90A3-9C793E30042C","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":"Q2452757$CC88D5F1-1B2E-4EF2-9C1E-5194FA6920DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44beb19b72548f0fc2bb41f76b66318d80cc58d5","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9236-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452757$1EBE0870-2E0A-4D9E-B054-A5AA09C1BBAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0c89395f5cef340a86f17d4e822aa502d9da002","datavalue":{"value":"W1985887562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452757$71A45940-E609-4FB7-9517-7EE51982F3A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$8F1C0BCF-34C9-4F01-9749-DAFF1C51D9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$9CFF13EB-601C-4631-A3CD-5BA764591EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fb0fdaea41830fa45f207c941e0090dcd85d86","datavalue":{"value":{"entity-type":"item","numeric-id":2722032,"id":"Q2722032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$1C7821C6-8D25-4583-967B-F78C633ED08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bafb189e8c5e0def0d7b1ada0df6f3252951ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$1461D857-6F5A-463A-B2AA-B6CAEC747E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452757$644682E0-05BB-4418-BCB1-96F8D6FE563C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f400cdfba712f98588ce4c9d3e406720196b8a9d","datavalue":{"value":"10.1007/S10559-010-9236-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452757$F0452392-8FC7-4BA5-8BF0-756E7C492076","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5e5ac081421cef4079b836eaf59e333f998167","datavalue":{"value":{"entity-type":"item","numeric-id":2452750,"id":"Q2452750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3edf7dbd8886612cae7991ad10650c521305d8","datavalue":{"value":{"amount":"+0.8281766176223755","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":"Q2452757$2BD11C3B-68CC-4213-B452-8F68EE0A3225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b1d01a8481dbd68368f687d7f0581a6c504548","datavalue":{"value":{"entity-type":"item","numeric-id":3774959,"id":"Q3774959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1e3e8a1995b4a736fb6f14cd5ca35f98b3341e","datavalue":{"value":{"amount":"+0.7124452590942383","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":"Q2452757$B37093BF-817A-45DD-A7A6-6ED39A88623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee6dc52a2c17d365097e197976397402868d20f","datavalue":{"value":{"entity-type":"item","numeric-id":1898816,"id":"Q1898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5dff1eb80280e91ff06f73c59d0a3a9c7d6049","datavalue":{"value":{"amount":"+0.703330397605896","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":"Q2452757$1E99E6FF-1DD8-4D1B-87B7-0936E201D857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36752e8b9a8184d78a5d4d6525028c443920cd0","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b99ef7b6f97b8057f21b552924ce578a53c0ef","datavalue":{"value":{"amount":"+0.6971762776374817","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":"Q2452757$06518CC7-7E1B-4A5D-A9CE-127D5F8CF5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4400fc54bc4e86f46657ffffe99bcebb05f71fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1882676,"id":"Q1882676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78cc46d919b43c8f9c8faa219dbfec034f3911e","datavalue":{"value":{"amount":"+0.6953180432319641","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":"Q2452757$6F27FEF4-3689-4D43-BDD3-BECB2119207B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate transformers in the context of symbolic modeling of transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_transformers_in_the_context_of_symbolic_modeling_of_transition_systems"}}}}}