{"entities":{"Q5284601":{"pageid":7314175,"ns":120,"title":"Item:Q5284601","lastrevid":46816194,"modified":"2025-12-25T15:54:06Z","type":"item","id":"Q5284601","labels":{"en":{"language":"en","value":"Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 969132"}},"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":"Q5284601$98F1E9F9-DA62-4110-BD61-C0D7C0D638DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08bba0fa19b6a3110aa6e2d85e262018f9982a45","datavalue":{"value":{"text":"Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5284601$C521C876-355A-435B-8BDF-9C62813A3C1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ea188895239928acab9641c57d88910a63a77a9","datavalue":{"value":"0865.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$EF8EA7BD-0DCF-41E5-8C20-14D170F93694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4630d197f3e320a0795478b47914d3a0dbcec7bb","datavalue":{"value":"10.1137/S0036144595284180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$BBB235C4-C5C9-4859-B8DF-F704C70479F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5313ad5a433f5976c06d29fcf01fce7164570808","datavalue":{"value":{"entity-type":"item","numeric-id":379864,"id":"Q379864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5284601$74F8D1B2-D895-46D3-848D-7AD1C829A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef66c5c3da909404df11115d2a1f393ed77eee17","datavalue":{"value":{"entity-type":"item","numeric-id":225518,"id":"Q225518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5284601$108CDE10-F549-43EF-AC07-1B4B36C904BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18de349a17a14b0233b86cb2efbb59311a9ad8d1","datavalue":{"value":{"entity-type":"item","numeric-id":345063,"id":"Q345063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5284601$61A4F5CD-DDE2-40B5-B5F5-1CE4D5BB4EA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1f286a05a486e587307dabaef4818f497c9abe1","datavalue":{"value":{"entity-type":"item","numeric-id":91402,"id":"Q91402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5284601$F40FE40A-6713-4D25-B45A-CD54CCE98BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3761270fefc2f25b724cd28171cc0c93dc869a4c","datavalue":{"value":{"time":"+1997-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5284601$11711AD9-4C19-4E85-8E95-B6D7B6099242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$D338CF99-7E6B-421F-B746-0D941AF5718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$6F3B4324-28F9-4B5E-8A1B-FFBEAAC7A9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd885dcb030e77159f4924283e9e5878c849fada","datavalue":{"value":"35Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$1243F8A5-4CE5-4E05-9E2D-C77E174987B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$8D41C4AE-24AF-461D-A6A2-DC9B33B04127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90260fc90e09368d477328010da196cc6385d2a0","datavalue":{"value":"969132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5284601$B7A48BA4-6519-46D3-816F-A49033FF73B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5284601$5F073571-74B0-4404-BB8C-AEBF299BCA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d191be1a64d2a823d7f6d3cbe6390d1f4c93a7","datavalue":{"value":"computer-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5284601$58893B27-D2EA-401A-BA7E-6355F058876E","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":"Q5284601$51A03FED-C48F-474F-B95C-6D874E4611AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d9a792c6e7be6a34f83989976d18ce3a8afed1","datavalue":{"value":{"entity-type":"item","numeric-id":4011811,"id":"Q4011811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fcaa6cd059f3fcc1266dfc63bea58f9e1533d7","datavalue":{"value":{"amount":"+0.8257337212562561","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":"Q5284601$C7EDC4FA-B342-4F55-94D2-00EC3616AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f578685aa3e5d0210ee8a4b098c1f01d3e10b455","datavalue":{"value":{"entity-type":"item","numeric-id":3831934,"id":"Q3831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e83ce4cc91171c183f95e5925caf376ce6b840","datavalue":{"value":{"amount":"+0.7771017551422119","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":"Q5284601$9D4F81F0-56A4-48F3-8B10-6216B8868E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee56d6f7299460354d042ec54dfb8cb00941926e","datavalue":{"value":{"entity-type":"item","numeric-id":1079858,"id":"Q1079858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1bbd26c5892bc8e12fc68273e287ac7f4979f0","datavalue":{"value":{"amount":"+0.7709606885910034","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":"Q5284601$98A221ED-6E6A-4F90-BEC6-FC8FE46A40B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88964ec0dcca17e8370c66d933dc0b826ae9cc08","datavalue":{"value":{"entity-type":"item","numeric-id":1080247,"id":"Q1080247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbdfc8d50e3dc8a6368399ae0f839248f226f95","datavalue":{"value":{"amount":"+0.7647669315338135","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":"Q5284601$44E720AB-1E5B-48A9-BE76-6F513BAE1207","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5284601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5284601"}}}}}