{"entities":{"Q4401574":{"pageid":6431173,"ns":120,"title":"Item:Q4401574","lastrevid":48655750,"modified":"2026-01-05T12:40:42Z","type":"item","id":"Q4401574","labels":{"en":{"language":"en","value":"A nucleus of a theorem-prover described inAlgol-68"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3435084"}},"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":"Q4401574$52F52DEA-78FC-4831-A61A-CAD8EBF3D57C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c59e8707f037ce683a6f359318c68393d6474f8f","datavalue":{"value":{"text":"A nucleus of a theorem-prover described inAlgol-68","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4401574$134A8DBC-2035-4BFA-845B-0EBBE04337CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec9802d5da879afea062479764a2657415effa0b","datavalue":{"value":"0276.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$297BD70F-4E2D-469A-89C1-746BDDB6E5D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16a8f22ce1d5e2a03bb33f229c07c2852b0a191d","datavalue":{"value":"10.1007/BF01355585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$B9EF9C1A-2E86-4374-B11F-2577E3512CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e72fb1874c8ebaeaee2c27d05e1d603994ecba47","datavalue":{"value":{"entity-type":"item","numeric-id":628334,"id":"Q628334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$37AA6BBD-BA9C-46B9-AB7A-3D364A05E07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec9eddd1bde964165f86eb31290a855caae532d","datavalue":{"value":{"entity-type":"item","numeric-id":4401573,"id":"Q4401573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$701AE973-31E2-4375-853C-77CF0BB592C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6ef98d1a3db6f3e3c765ca8fe41b66e7003f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1127522,"id":"Q1127522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$1C54C8FC-615A-4E33-B3F4-C8220D3FB948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$9A964FCE-A1AE-4F42-A13F-FD98A74BF1D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4401574$D2E66266-B270-4E0E-B4F1-1F0287174F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$34C06189-0EC5-45AC-878D-810B3A9B2D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$850C48EE-0E17-422D-A31A-3878D3FF5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$0E57BAD3-C974-4E15-9DBB-472BE3986438","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cad9d19d4292fa11118d95878c9cd843d08f9a46","datavalue":{"value":"3435084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$6907BD6D-0239-4E1F-B411-75C1998B5F39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$A69B2087-99C7-4BB6-8B30-694B8BEC6077","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":"Q4401574$8CC7F05E-193E-4CD4-969D-F1653B67DE1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb43be5372b130e75bf49849bb6dff5cf6eb02c4","datavalue":{"value":{"entity-type":"item","numeric-id":5634832,"id":"Q5634832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$E5D3AA69-FEFE-4D5E-8D62-D6364E13961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$57E9A7EB-843D-4149-9408-49A7C632AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32a9df8fa94b51eef9ed41d97a3514d60c5da7","datavalue":{"value":{"entity-type":"item","numeric-id":5623242,"id":"Q5623242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$F93539DA-092B-45E6-B04A-43BE1BA51FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaac2d3e7c3b507365be4d6df54659adce00a06","datavalue":{"value":{"entity-type":"item","numeric-id":4236324,"id":"Q4236324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$650E3916-B895-4CCA-AA7E-89AA9C48BF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cc6aebceab7bf78ff260e917d9caafe8ee7c65","datavalue":{"value":{"entity-type":"item","numeric-id":5639341,"id":"Q5639341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$A491B0B5-A2A2-4715-84FF-4EF1D8B98DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9134b8aad39556a6bfecbcb6a77ebbd567efdb7","datavalue":{"value":{"entity-type":"item","numeric-id":5653535,"id":"Q5653535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$347DDC8B-8A4F-4089-8A4A-1DC5BBC4A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceee8a5fb32e6eb7443356542ae558c36b13a21","datavalue":{"value":{"entity-type":"item","numeric-id":5672214,"id":"Q5672214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$86378C5A-6892-40BF-849A-32F190D830C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db57d83c4539b5e1e312a9885e87a573f21cf309","datavalue":{"value":{"entity-type":"item","numeric-id":5562604,"id":"Q5562604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$6F0B2DAF-70F3-437A-8C4D-5D147C4A36E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$E0093A11-73B5-426D-9833-48B9CE574406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c0fde59d24497f026c6ba4ac70b6fb3edeafa6","datavalue":{"value":{"entity-type":"item","numeric-id":5578049,"id":"Q5578049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401574$F2B5B0BA-C9D2-4346-AD3E-BBA347F66D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329b738add129219d1337acff9a9a1c1f69bc58f","datavalue":{"value":"https://doi.org/10.1007/bf01355585","type":"string"},"datatype":"url"},"type":"statement","id":"Q4401574$381E910B-73FE-4326-8693-B059D8B61541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90fd9e5c1ffb284e665429139c285b1f6b5f861","datavalue":{"value":"W2083278349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401574$A60ABEDA-414E-44C1-9652-9C55AF8D259D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff713977123a1fcb8bb2a3b496c5af21353fbd7","datavalue":{"value":{"amount":"+0.7597898840904236","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":"Q4401574$D892DC2B-06C2-4EC1-8157-6E97375A995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1461499df8facd191b97689d2e80b0f8f5159503","datavalue":{"value":{"amount":"+0.757615327835083","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":"Q4401574$07E5D1F9-246E-4B16-8D32-CA2319089672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b6fdd02a5739a74a9337cd43d596002b0062b5","datavalue":{"value":{"amount":"+0.7399781942367554","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":"Q4401574$3FEE34DE-C9A7-4370-9803-CF0D34FE401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bba9d1d38869f21919fb25c6d7b47d6d55de0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4013089,"id":"Q4013089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5992f0f1715878322cc61471143b956c5ccaec15","datavalue":{"value":{"amount":"+0.7390352487564087","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":"Q4401574$A467F0E8-8784-4C3A-A0C2-5359A702420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2138f546d180ada4eb2b48644b238c6d3ce509f6","datavalue":{"value":{"amount":"+0.7362020015716553","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":"Q4401574$730FC190-8215-4F09-8070-BA8755BBED87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4401574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4401574"}}}}}