{"entities":{"Q5055713":{"pageid":7085290,"ns":120,"title":"Item:Q5055713","lastrevid":91919543,"modified":"2026-06-05T00:24:32Z","type":"item","id":"Q5055713","labels":{"en":{"language":"en","value":"Inductive proofs by specification transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631109"}},"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":"Q5055713$5B202037-1C57-4333-A830-F8D08CC42121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"833c3398503ae1492e90341b2051d0a876ec4f90","datavalue":{"value":{"text":"Inductive proofs by specification transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055713$F4F95637-5783-41A3-A208-6868A05B2B34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08e231774bc2c365e095f70b03e7429a05f494c9","datavalue":{"value":"10.1007/3-540-51081-8_101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$F7B6D2AC-656C-4BA6-A796-19AF90DDD4CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$D358BA89-B263-4DEC-B59C-37885413556A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$B4F32708-8C3A-4606-B503-99A94B9247CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055713$05935C8D-1211-428B-809C-EE686D8740FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$8386743B-4370-49E4-A733-4F5016F45393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$6BBD7CA6-0142-42AC-B57C-DE2A708D6EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$F0BACD58-5C3C-4C5B-AF4D-54345490E387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"231dbf809997257f99c0b848f6232a89198b7c8b","datavalue":{"value":"7631109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$419E6EDE-D4DD-480F-8893-500DDC409F70","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":"Q5055713$47A12B6C-D242-4124-8DC1-09C606968D43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6bcf613fdd50946a38c39f7c4668c4e68472288","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055713$3F0A8B4A-DCFC-4C5A-847A-D4DF231F00F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db703fca296d4b6fda1821ffe18d44bf5cd5bb32","datavalue":{"value":"W1601086057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055713$04FE7BB5-81E3-4CFC-A893-3FA775090311","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b9e2e68bc833b46cdc93d4bf6d42d768ee309","datavalue":{"value":{"entity-type":"item","numeric-id":3490949,"id":"Q3490949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$5DFDA893-2199-44EA-A61C-BF5892CDF5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$07011125-B4E2-413A-8ABB-D65438CAF999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$FA0188FA-7038-458C-9005-E9959B239603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$90700308-5AE0-4222-9B5F-F401D68916B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$35F0F9F4-80D0-46AB-98DD-30BDDC6F7F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$54EC9629-DAD5-4183-9F0B-D2A6CBC4B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$5B7511E7-BF0C-4857-9129-3557DD726035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$936616C1-BD4E-456B-B3F6-C7CD1874E7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$97A872A1-3D24-40C9-89CE-EB8D27B288AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$B1F28D11-5915-482E-B4D2-FE808D36E1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$F9C62B65-8F52-4EF4-BB3A-F18CF108F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016e8963cc34ca4f74cab0dbda793d95e86a5221","datavalue":{"value":{"entity-type":"item","numeric-id":1059392,"id":"Q1059392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055713$E1054BF6-5D03-47EF-9CA4-989DBF71ECBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32b61dcc2a486332701f2516ce482140d4c929f","datavalue":{"value":{"amount":"+0.8609726428985596","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":"Q5055713$FEAC1461-4E78-46DF-9D82-0394384E357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c326e1e4143aea3045379b555d9415b48962007d","datavalue":{"value":{"amount":"+0.8245270252227783","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":"Q5055713$CCD98E80-898A-4FF8-B255-A0D111128E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719abdf64fbafcee49ac77342ac5d943f9d200e","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60712551aa45f57c8afff2d309d03cb1fe20ab9e","datavalue":{"value":{"amount":"+0.8223949074745178","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":"Q5055713$85522E0E-B1FC-488E-9018-2CF80B8317AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55b31b4967a77984b358a572a5786cacea75aa7","datavalue":{"value":{"amount":"+0.8200498223304749","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":"Q5055713$3E03512E-6C4B-43C1-9BA1-49845ED6D12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb1befd1dc3a0271a55808128711f971c7481a5","datavalue":{"value":{"amount":"+0.8051014542579651","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":"Q5055713$43FFCF86-5431-47B5-8307-3214D58A3160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive proofs by specification transformations","badges":[]}}}}}