{"entities":{"Q5881455":{"pageid":7911006,"ns":120,"title":"Item:Q5881455","lastrevid":47824303,"modified":"2026-01-02T19:24:57Z","type":"item","id":"Q5881455","labels":{"en":{"language":"en","value":"An Automation-Friendly Set Theory for the B Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661939"}},"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":"Q5881455$53002334-0FA2-46A8-ACD2-E82882082C95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c24d779b6700623665ac437e69069183c50ae0d","datavalue":{"value":{"text":"An Automation-Friendly Set Theory for the B Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881455$6AAAF2BF-9A95-40FF-B6B5-0F02C23A2A1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06cae21cf0ced726cc0eb96519187f9877b33fcb","datavalue":{"value":"10.1007/978-3-319-91271-4_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$81EC29DB-4FBD-4403-9307-0A1D7519DD1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2e232f9a569557ee4e1f393921a3d258bfc235a","datavalue":{"value":{"entity-type":"item","numeric-id":2209544,"id":"Q2209544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$6043FCB1-FD9B-4EF6-9D10-6DE8CA5BADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"037c47bd3a9f6d2076fba3c04fc25dcf481756bc","datavalue":{"value":{"entity-type":"item","numeric-id":1687552,"id":"Q1687552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$FE955B0B-331C-4201-BAD3-B550FDDD88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$2A138855-6887-4A1B-B135-68FB3E42AFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b3c456d0760e6a02376c5655bc8ae2e82d7f07","datavalue":{"value":{"entity-type":"item","numeric-id":5881454,"id":"Q5881454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$338376DF-B3C8-4B70-8969-2F2473B5A44B","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":"Q5881455$FBC165FE-9395-435F-B8F9-87929B1F4728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881455$6085B595-8F81-4CB6-B554-3A644ED811BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$5E339A17-07C1-46A5-BCD0-E829CDCFAB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$D19D1976-54ED-4AFD-9B39-C243FC19400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$BDC22F6E-2B06-4331-AE97-65172297A7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"212dc0339ddd45206e2fe5c652ffed9d8fd5b53f","datavalue":{"value":"7661939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$0593720A-5842-419C-B5E3-0D3ED841C370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066102be747f0d2c4f29c6db2bd15fee0273f3d9","datavalue":{"value":"B-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881455$47EF6080-363B-4954-AAF2-E9FA6286727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881455$C795E298-7415-498D-912E-42028452B234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881455$2109ED81-7CDC-43D0-BFB1-6A6383AF6F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881455$088D0EDE-B9C5-47CE-8444-DC881DACC514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881455$BC0AD766-8495-4F73-930E-0C3D747738FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215d2b6d1a41d16324962359ed77fd383c2f9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":22366,"id":"Q22366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$8AFC83EC-E15B-45E9-884E-CF85D863077A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$C8784665-B8CB-4AF1-9C7B-675C27D82C92","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":"Q5881455$247D45A0-A3F8-422A-BC44-A65D21B84E73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"695a2aa1e58a2a186cac562faddf82c1ac3e1743","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881455$0EFA14EC-CAF3-47BC-B3FF-E6F2BE3E65C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72646afd23f76512af2078e6721465cb3061913a","datavalue":{"value":"W2801704253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881455$DCA3675F-BE79-4274-A1ED-CDCEB9A0C974","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$AAD899B4-EC49-4656-8BD6-FCC5EF9C7DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$0BFDA990-7F8B-4F10-B1A6-3A4EFCCFF6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881455$EFA27AEA-EB54-499C-9A06-E321B0C06446","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3715b921fdfb1f5a853f08d3d1ab4bc26cd1762","datavalue":{"value":{"entity-type":"item","numeric-id":4680189,"id":"Q4680189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338cede92cfef01a415d8eee88d837cf8e13e6bb","datavalue":{"value":{"amount":"+0.7464349865913391","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":"Q5881455$A2ECEEDD-31B8-4A53-B375-8A993C628CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d53e3269671c3b829332645636422f0534f2837","datavalue":{"value":{"entity-type":"item","numeric-id":4707766,"id":"Q4707766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecc79a49ba3e71df74bc43af377c01c3184b4cd","datavalue":{"value":{"amount":"+0.7357536554336548","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":"Q5881455$BF58A3BD-3225-48F1-8ACE-E19AB2E1DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22636e35b8583d2a0dbd39a2980da67c7d76519b","datavalue":{"value":{"entity-type":"item","numeric-id":4472194,"id":"Q4472194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0724605eacf15af8c977670f6da63167d05c628b","datavalue":{"value":{"amount":"+0.7347195744514465","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":"Q5881455$C53BE8C5-8A1C-468A-BDFC-42509892DD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035bb89d7cd940c53fa2fb4065ecd572607e402","datavalue":{"value":{"entity-type":"item","numeric-id":4539604,"id":"Q4539604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69591bb5e070359f5b8278b33821afd59e148a2","datavalue":{"value":{"amount":"+0.7340994477272034","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":"Q5881455$C87B74B7-7525-42E1-935B-DDBA5EE42C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56176ee4dee66774417a89e47138b14121e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b36cc18c77c74bacf41358359dee1ebfd8e0d3","datavalue":{"value":{"amount":"+0.7268062829971313","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":"Q5881455$64D8091B-19CF-4ECE-BA88-643F2E1998F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881455"}}}}}