{"entities":{"Q7010074":{"pageid":21563388,"ns":120,"title":"Item:Q7010074","lastrevid":81645434,"modified":"2026-05-06T19:00:46Z","type":"item","id":"Q7010074","labels":{"en":{"language":"en","value":"Deductive verification of modular systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013877"}},"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":"Q7010074$342B02C2-5212-494D-8362-C6AEC875D88F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c0d22a73e0cfa728b4c088a144bf21be5389a9","datavalue":{"value":{"text":"Deductive verification of modular systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010074$8943E6EC-3EA6-4F3C-AE84-723EBC29CD0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337b03f619fab58766dfb20fcabed3a1ae6a35f7","datavalue":{"value":"1566.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010074$316A328D-A01D-4D0B-AF79-2D15CF5E720F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b517b1c1e3ee48837d62dd542853f5f92c28235","datavalue":{"value":"10.1007/3-540-49213-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010074$4D011C44-0758-4D5B-B203-3B02FF5C2CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$E62B952C-0259-4D38-B457-F16F348AB4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$71508D52-4E3A-4BD7-A642-873CB459F394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$AA76E758-1020-42AF-8D81-BD5CF63BDDD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010074$E01F72DD-06A9-4A1F-ACB7-61FAE6A7C796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010074$FF3C6F4B-AA18-4178-A51A-31948FBDCD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010074$D8FD2A9A-5D0C-439A-978D-99B0AFBA5E54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"802f750b7d63848382f8be249ff011f5fff2a4b0","datavalue":{"value":"8013877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010074$6C0531E3-9D9A-4200-9062-D01A81164A6C","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":"Q7010074$00CF6223-FE3D-4EB6-B65C-F95D9D191CFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$9F473A10-176F-4405-9FD7-AB86675A1AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52b6235d0b1ae67d017ad3c8035a0dc3dd6de9","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$1AE05553-5D60-401F-90F3-66E3737FC8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920bd38ae983c9a591340c94de88486c7c8a9db3","datavalue":{"value":{"entity-type":"item","numeric-id":2956705,"id":"Q2956705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$3DA32424-9641-4B05-A1C2-5F20B5E1DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc272ae6031932f971a47b3af0e4c71db46297a9","datavalue":{"value":{"entity-type":"item","numeric-id":6560365,"id":"Q6560365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$23EB118C-E256-4DA1-B6A6-D4051254001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$DA13A652-4FC1-4270-BCBB-23F4C2A7D59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf35dd3119eca1e25e7278bb976057076de285","datavalue":{"value":{"entity-type":"item","numeric-id":5096736,"id":"Q5096736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$4AE96BA3-5BB5-4F3D-831A-85D616AECE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$DB42F810-EDCE-48D9-8B08-78D7B8DC8851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$64A696DD-587D-49F3-AFD0-238B40265D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$E7B48D12-7097-4A10-AA6A-A4CC692E979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3883ce710b9474f813d3e5ca1e8c6da3e70a7f49","datavalue":{"value":{"entity-type":"item","numeric-id":4490758,"id":"Q4490758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$B264A709-FBB3-44D9-9F08-F93248CCB578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$06EAC512-4591-42E2-A4EB-DED7735B015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175feb295379303ca26058332162a702969964b2","datavalue":{"value":{"entity-type":"item","numeric-id":4281998,"id":"Q4281998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010074$3DA16963-10C7-47D8-9D51-04141D8C518C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive verification of modular systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_verification_of_modular_systems"}}}}}