{"entities":{"Q3400952":{"pageid":3411655,"ns":120,"title":"Item:Q3400952","lastrevid":46139227,"modified":"2025-12-23T11:49:03Z","type":"item","id":"Q3400952","labels":{"en":{"language":"en","value":"Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663857"}},"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":"Q3400952$ADE297F7-D79E-481D-BCD1-ADE663828E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d453b230ddc4411dc8d220ac142c9e2b967f5b4c","datavalue":{"value":{"text":"Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400952$57DD8E6F-7ACE-4F85-B9B2-372879205D54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5283aa8ee17cfc051f53ccdbc21b5b1bbfbcbfb","datavalue":{"value":"1274.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400952$65E4D468-E291-4C6D-9DDF-CB4CA7210481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f13b44a7b9aad1ec88229ee4d9669191811aa8a9","datavalue":{"value":"10.1007/978-3-642-11447-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400952$D556A724-2241-4D4B-92C0-E4A743A4D5BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed05294a56bc1267717451807768ae6e944f354","datavalue":{"value":{"entity-type":"item","numeric-id":1739910,"id":"Q1739910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400952$EDAB4327-38E7-4CBF-895C-85DFF820E40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63235d48d5f02b24413a513654595d5642c44694","datavalue":{"value":{"entity-type":"item","numeric-id":2999321,"id":"Q2999321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400952$56A33C18-B287-4B3F-B842-F3A085D9422A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"04e2f54b6b3cf81c9de849d01d4ab147d303cc09","datavalue":{"value":{"entity-type":"item","numeric-id":3400951,"id":"Q3400951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400952$02084872-5CCF-46E7-9A81-9D17115A5471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-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":"Q3400952$DEAC8641-EAFE-442E-9C7D-F4EC844FD07D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400952$D890D2D9-5EF2-4FF7-8044-F395CCA019D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f2f7087cfac8b48d03cb706fc98743dde11e00a","datavalue":{"value":"5663857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400952$78928701-9B42-4B00-8546-A1808A4FABBC","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":"Q3400952$55AB6F75-180E-4B1E-A411-70D6156A6B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de7674e653806bc69200f533cfc0f601ab11d335","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11447-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400952$DC49C5E4-E4DD-4ADA-A9F2-A5A5B323172F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3058997a968e5fb3f2edd66fa8d8c8a10b911e07","datavalue":{"value":"W1533510440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400952$CC7291D9-D67F-4DC0-ABD9-D5969F2ABDD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b435193d83212ce5fe4d0c45d96d697f98ec65","datavalue":{"value":{"entity-type":"item","numeric-id":5041118,"id":"Q5041118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67fe8e0ca2dc11ffe3a4851c7d2fdc93308a68f","datavalue":{"value":{"amount":"+0.7946975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$600A6B4C-2A77-4BE2-B74A-AE46F75420F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce38efa48b86a39e9cecd1f72f8ac969cdc018","datavalue":{"value":{"entity-type":"item","numeric-id":5506381,"id":"Q5506381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a134149d8025c66f710bee6d86f6c62bb0068e","datavalue":{"value":{"amount":"+0.79147065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$09028B7D-3575-4ED2-8E75-4F801F392075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2b39343588611291d3345fedeaa40732cf64f5","datavalue":{"value":{"entity-type":"item","numeric-id":4856663,"id":"Q4856663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec39356f582db509085ad08c7b436ecb3624615","datavalue":{"value":{"amount":"+0.78981656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$E1503F1F-218D-4DFB-B52E-4D88E3EEDCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14f632b612f4f1a549f11ec4cea9c18adf06532","datavalue":{"value":{"entity-type":"item","numeric-id":2915141,"id":"Q2915141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee3991f664430cb7323ae7372fbb7f22640ce35","datavalue":{"value":{"amount":"+0.78448176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$D6EE1C69-37EA-4785-903A-12D633C8C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cb725fe22d415670f05a7f3d010a042ad43082","datavalue":{"value":{"entity-type":"item","numeric-id":6108437,"id":"Q6108437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509c4ed5bd904ac2b407c222b8fdf4786671c5a4","datavalue":{"value":{"amount":"+0.781836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$4475AAC6-C227-4A6D-972F-3B02B3A6593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0cd586aabf9acc9c187a4478f99035269342aa","datavalue":{"value":{"entity-type":"item","numeric-id":5179355,"id":"Q5179355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0460929038f1c9e0c7e5c93bbf834e738532bfaf","datavalue":{"value":{"amount":"+0.7801025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$4CC8765C-6362-44DC-A1C0-915EA49C14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee45956c6b8aad34f5b8914443ba18581afa356","datavalue":{"value":{"entity-type":"item","numeric-id":3603412,"id":"Q3603412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f36484cc7e5b1d08b3ce7b637fdf11a82863f8","datavalue":{"value":{"amount":"+0.77928555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3400952$2ED510E5-AF14-4929-918E-6B9A8991D76D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400952"}}}}}