{"entities":{"Q3179409":{"pageid":3190117,"ns":120,"title":"Item:Q3179409","lastrevid":86608613,"modified":"2026-06-04T02:49:15Z","type":"item","id":"Q3179409","labels":{"en":{"language":"en","value":"ProofScript: proof scripting for the masses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667715"}},"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":"Q3179409$D0772238-537D-42BD-B608-0F905DF28E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b76c3320303f0554f7def23ab450629ad77475e","datavalue":{"value":{"text":"ProofScript: Proof Scripting for the Masses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179409$45BFE663-DA83-498B-A6CF-332E70DAABFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdca03fa8fcaa423125476bf37587d00d21de668","datavalue":{"value":"1482.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179409$279F39A7-6322-4643-91E9-6CC0C97B1E6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e19208062bf9d4eb63c6984e8887350020cd85fd","datavalue":{"value":"10.1007/978-3-319-46750-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179409$DF91B8C7-850B-44DB-99A5-C5C21C89D0A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c5746c9fb7bd206dc1bf3cfc28ead272520668","datavalue":{"value":{"entity-type":"item","numeric-id":2379682,"id":"Q2379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$E27F72FF-5CDF-42EA-A062-E7FE9CE75AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb07b0f36245cb0e201fcad66e2b3ffb9cccb83","datavalue":{"value":{"entity-type":"item","numeric-id":2907336,"id":"Q2907336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$AB8C6AC1-ED4B-4CC7-8E2F-F7ECB45EEC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$20E94E9E-19B4-4C78-B62D-297670B17E45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$6E479A19-9D52-430A-8310-771A4348767B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179409$6C474299-5D9D-4A54-81C4-72B25FAD3BA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8167b6bd16db85b4d58475d937f81f9c223f2202","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/28382045/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179409$D6F47ADF-88F3-4690-B361-BFB316244CE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179409$F41130D8-31CA-471C-B0E4-79119EF4AB5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97cfe112d90502682480d14bdd053d53f4659c1b","datavalue":{"value":"6667715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179409$2418C200-2D00-4562-A1C3-47F726EBD62C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2e87d897ce5d80b030b7930ad6e7942edbeeaaf","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$DFB3AC74-D639-426F-A330-D96C27D3C134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb31703c95d92836f5795ab26c09db794aca0b4","datavalue":{"value":{"entity-type":"item","numeric-id":42136,"id":"Q42136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$27FF0EE5-A7D7-418D-970E-7EC573560B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$C1F615A7-6BF4-4657-AC3E-4E1FF880C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$7C566C57-AE03-4E5C-B557-2699F04A3862","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":"Q3179409$F57D32FE-6BE7-4F7D-8DB3-D89E98964A8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ecea10f04b208ed629ff81b3760eae563e05c50","datavalue":{"value":"W2522007841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179409$1975F01C-5BDF-4AE5-9A4E-37B96007C1BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c2250165aa9c05164034b181c3d3446c68d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":3024857,"id":"Q3024857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$68B5430D-B840-47B6-AC26-9BFA5256B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdda75f152e068016ce6e94687febfaf56ec336","datavalue":{"value":{"entity-type":"item","numeric-id":2879265,"id":"Q2879265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$9666D127-BAD5-4B54-A163-431F3B5B9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$081AE5B3-D2E1-4549-881C-9546224F209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$37234A94-5606-4E3D-B3F2-00C26A7137BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$D7959436-027C-4B30-9A8C-D5CD3FAC8841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$49C24C09-8A24-4ED3-8C2D-8DFE98598D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$6827D8AB-94E9-4D68-9321-C4D19FAE1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde1d1fce6684f6cc1e38b30a0a5bddfab8d8725","datavalue":{"value":{"entity-type":"item","numeric-id":3453108,"id":"Q3453108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179409$0FC129DD-F925-47F6-B298-011B92B6235B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb049dc19118c2e13b11c57ad63c65e40f939e98","datavalue":{"value":{"entity-type":"item","numeric-id":2879270,"id":"Q2879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3229939a6382beb47bf81210397e01085e36f1","datavalue":{"value":{"amount":"+0.7485293745994568","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":"Q3179409$09A9B62F-387F-4735-A941-869D3DB0F65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae47f61c7fc98f17fb322346cde2c380b0fb554","datavalue":{"value":{"amount":"+0.740424394607544","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":"Q3179409$20C9215A-C33C-4570-A54E-5392DB5E692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f694abd6ca82e87a286436859d0058672696889e","datavalue":{"value":{"entity-type":"item","numeric-id":5327363,"id":"Q5327363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a61f8e49f3798aae7d4f170d8dbebda5101bbe5","datavalue":{"value":{"amount":"+0.736011266708374","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":"Q3179409$28D40581-C3B8-4D15-8614-F71E5C42CCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fffe16400e8645101fc268d3e0a45d194ab4578b","datavalue":{"value":{"entity-type":"item","numeric-id":865648,"id":"Q865648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74583bc924c36b55eb274120d54f44ff37b39bf","datavalue":{"value":{"amount":"+0.7207986116409302","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":"Q3179409$447110D9-78F6-4825-9637-71943ABA426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6802b362c841273e3825818c6b0ee2cbfeabcf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5200123,"id":"Q5200123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dcec11ce4a50ef904cd14a5facee6387896ebe","datavalue":{"value":{"amount":"+0.7128076553344727","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":"Q3179409$98185427-9679-4881-B06A-03641D6E2FC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofScript: proof scripting for the masses","badges":[]}}}}}