{"entities":{"Q4923374":{"pageid":6952956,"ns":120,"title":"Item:Q4923374","lastrevid":90967199,"modified":"2026-06-04T21:55:08Z","type":"item","id":"Q4923374","labels":{"en":{"language":"en","value":"Proof-theoretic notions for software maintenance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171386"}},"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":"Q4923374$A4464F08-8433-4C17-9D37-F850D79FEFA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36b285e555f4eaa01a23d3abd970428cad681b1","datavalue":{"value":{"text":"Proof-theoretic notions for software maintenance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923374$BB53E8A7-AC4A-4662-8294-9A2400DF3148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283426504aaf2294b5cf98adddde8fc55a97ed64","datavalue":{"value":"1264.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923374$678D635B-DE84-4AFB-BB3F-1036790945A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6456b338eecd9a66e6aa25252ee289ddcf08ddbc","datavalue":{"value":"10.1016/S1571-0661(05)80048-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923374$4368EC29-BC1F-45EB-85B3-F41ADD1593C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$E7602530-C04D-49BC-BB84-74A725580306","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$061EDF0E-1A42-4BD2-AD93-7E26C4AB9677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923374$2E534FC4-382B-4D27-B37A-9A4BAC4E7E6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923374$9C9F6083-40B2-42D0-9AB9-3DD0E1FCDA2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e063901236b359bc75441b2e1e9fb989d7b23cd2","datavalue":{"value":"6171386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923374$0BEF1D4A-EE7F-4C0B-B55C-063A25C5007C","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":"Q4923374$57DE313B-A941-47DF-BC2B-A6C234D38FEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$7B6B5149-2E7B-459F-AA73-097126553BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822fb800f6e4b0909ae356724c2acfe53f72f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4385533,"id":"Q4385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$6DE67F21-D27D-44EF-A0F8-905AE3EDA529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f0b82d28d67b4e3312c91b8fa8f0254a3dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$AFA93B44-EAD4-4C1C-B01B-195935275982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d569ab003e4a3e84d1bb8ff03bcd65c8c355c84","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$7A2F024C-BF19-4D10-AAF1-2C322F97CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8914cc22efd8b4b68f3bc7e4fedf7bb2faa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4385541,"id":"Q4385541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$DFFBD34F-DFFB-472F-8F8A-03BD456464C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7beaba797db6907cbcf10c71c89d030f3e66a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4719372,"id":"Q4719372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$A6362A4B-3469-4110-AB55-4424E4C271FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5df7db95555fa1468e78d46d51f6b860611a5f","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$1AEB358A-46D7-4F80-A845-66927C21CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7688551f090e9181f0269fd49ffdb1e72e2e175c","datavalue":{"value":{"entity-type":"item","numeric-id":3138832,"id":"Q3138832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$A64BD55E-FA41-4207-99DF-1C7C1A61F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$6EBE4034-CB9D-4891-ADDC-6F15C6563AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$677C9B41-F872-42DA-8174-8CCE5D953B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$2A8D2F58-ABD5-4603-A682-285798AB903B","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":"Q4923374$9879CDCD-6262-4A7C-BFBC-2155DEFB5783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf7ccf04b1eabcd546c6daa01f0ca4ca9a9538c","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$BEACA986-3570-4734-A81F-273CB09C4E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$6D45135D-9288-4DEA-B922-E9A87AAF903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$E9DBD3CB-51DC-4CE4-AE7D-1676D6B0456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f77a25b0798a066fa1d5f637d6e09c5f0b18b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3916039,"id":"Q3916039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$5F79EDCC-5CE5-4127-B7D0-03AC7AFB4AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$08798FA3-3FD8-4AF3-9D7A-BEAAA1928EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db72b93439521ae3cd41e3ca971f5415b36847","datavalue":{"value":{"entity-type":"item","numeric-id":2762147,"id":"Q2762147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$7DFC329D-A6B1-44D5-B6C6-67DB997DB67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$3966DCF8-32F2-4A30-97B3-D8BE76035756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc75351b70448b1146d1b8b6593e5fd3f5e44cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5053014,"id":"Q5053014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$9BB3A9F6-CFCE-4571-95ED-433760C531D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$FE9A9EC6-E9A6-4D5A-9310-65A96ABA7F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fac3d055d90ee3aafe3674088228fa265868c9","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$96A9225A-9F0D-44A1-84AC-4DAB8DE53279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$039257D4-B676-4D8F-949B-0181F4D67D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00589f0c4c39e8d1625a08b8a2f19987aaf9c05c","datavalue":{"value":{"entity-type":"item","numeric-id":3988059,"id":"Q3988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$7758E2C2-DD2F-4825-A136-FCED703B42FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e109a9a71268dc2e4d9711bee64bbb6cebd77d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4327838,"id":"Q4327838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$F6B46530-693A-463B-AACF-CCA2CC924891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02f76ce901bfa46067230dba6fedc3628cd387f","datavalue":{"value":{"entity-type":"item","numeric-id":4362933,"id":"Q4362933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$69906EA8-872C-45CB-99D8-D3BD06D4D1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b456e015964664c306c295acb4d1e1a30a33bfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4236753,"id":"Q4236753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$F4F9C3FB-8964-4422-BEC4-41B60F52811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$295FD043-D2C0-4DEA-A9EA-C175C87E1BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fe81fba96de8e07bb0bdb443a4a429845859c8","datavalue":{"value":{"entity-type":"item","numeric-id":4436035,"id":"Q4436035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$1C7BAFA2-D2FC-4E2E-BAB5-D9059DDD289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923374$2BF1D9AA-B365-4CA8-A338-3792CDE7F7D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic notions for software maintenance","badges":[]}}}}}