{"entities":{"Q3732952":{"pageid":5762858,"ns":120,"title":"Item:Q3732952","lastrevid":88837790,"modified":"2026-06-04T15:36:29Z","type":"item","id":"Q3732952","labels":{"en":{"language":"en","value":"Proving systolic systems correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965432"}},"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":"Q3732952$9F81EEAD-0825-401F-A765-427DE0163EFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c001527b0584e196f1264dffc1e183a156edcc7","datavalue":{"value":{"text":"Proving systolic systems correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3732952$34DD3ECA-593D-4951-9D9D-4F4C119A99B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d3e99791f6fc1b1bda495bac50957c09b81f72d","datavalue":{"value":"0598.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$F858A359-A904-4CD6-9852-753C6CCA135E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72da40fd627efa29dcb854e09e017f3de4038a2","datavalue":{"value":"10.1145/5956.5999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$A8581902-563E-4C79-9AB7-A0D481F682B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732952$76E84D37-57E3-483B-A196-679F1B2062BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3732952$DC3D801C-C2E3-471F-86FA-053B8B282D5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3732952$AFB6CFAB-7FF0-4E80-B9A0-BBF47757A66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$F92328D6-ABFB-45BE-A3CF-941FE4BB331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$0DC4BC88-4C5A-4785-BBBA-71CC790B341F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f4fc7ed7e9f5482311ce79795272f1ebe60a18","datavalue":{"value":"3965432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$6161A193-C554-40A6-A30E-6767FB501442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$35E6E51D-B028-478E-BDD1-B28B9E7B0CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$3110AA8A-543C-49EA-84BE-E7A44BEDC79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$A192F6E9-5653-4653-A992-EA5F60BA48C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$454910A1-91CB-4DF8-901F-4751665B6025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$0448FED5-BA6C-4FB5-90E6-7C7D14279F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083927b0c0b9ecfb1f8ca4b3fe45d13f51939f08","datavalue":{"value":"syntactic transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$AE4387F0-036B-4463-8780-889BB56D34D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732952$929E8B7B-BEF6-4BC3-AF9E-2078D56BD139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732952$CEDA310C-2A78-47A8-BBBC-993E2CA7AD15","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":"Q3732952$AD074C1F-C4C4-4707-A29C-D230171A7E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51fa21d6177cef2f7b3a7eae60e034799b5cc6bf","datavalue":{"value":"W2011523523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732952$D4A58CC0-2EBA-41CB-96A5-BAA33B8650BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaa13aa67ab48419e2c3b1d5e20161a334a9430","datavalue":{"value":{"entity-type":"item","numeric-id":3792219,"id":"Q3792219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd4b1d190a7dee9efa3c239ea4f9d49ca5eb6d2","datavalue":{"value":{"amount":"+0.830518901348114","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":"Q3732952$E4AC6119-3334-424D-B172-C49182F29FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73dd234a00337a16d67058668e4ab5df48ae2be4","datavalue":{"value":{"amount":"+0.7449190020561218","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":"Q3732952$BED5FA1C-8185-4DCA-B9E7-9EC2B9B67296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6260512c7632fac7cff041331c9b324bbe692f","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481f57a884c9fd676306e16a111e6e8ffceca22a","datavalue":{"value":{"amount":"+0.7418655157089233","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":"Q3732952$252E28F4-5FF9-4602-9A00-5653072DDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e3880305b4d9ba320bfcf5d23439b4e6ca07cb","datavalue":{"value":{"amount":"+0.7408791184425354","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":"Q3732952$915EC70A-C387-49B2-AB09-CB61149A62FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b6623d322352119bc5618dfeca20d36b7d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":3709881,"id":"Q3709881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6047bb1a33940d86d2ac91b5795cc4ef713e7a3a","datavalue":{"value":{"amount":"+0.7382007241249084","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":"Q3732952$072C288E-1D84-4852-B46B-7652C80234B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving systolic systems correct","badges":[]}}}}}