{"entities":{"Q3427877":{"pageid":3438580,"ns":120,"title":"Item:Q3427877","lastrevid":50058700,"modified":"2026-01-12T20:21:10Z","type":"item","id":"Q3427877","labels":{"en":{"language":"en","value":"ON PROOFS IN SYSTEM P"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5136755"}},"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":"Q3427877$15815552-A242-4102-B7B1-80E4568E630B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"417565b56ce1e64eb1c1e498b2e553ef160f9872","datavalue":{"value":{"text":"ON PROOFS IN SYSTEM P","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3427877$A9BFFFC3-98A0-4D26-8594-D3F0A901A1F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88480f75329e4e9601d56b977b3ca5e129a8a244","datavalue":{"value":"1113.68490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$684697D5-1719-49CD-B01D-436993A14DCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdcce535ed675da499ec24e8e13e410e28836844","datavalue":{"value":"10.1142/S0218488500000149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$36065BC0-D68A-483E-A54E-1AC9C7628C02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e1eeec68f73c6f10122041d20ee0ce53d2bc63","datavalue":{"value":{"entity-type":"item","numeric-id":524936,"id":"Q524936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$7B87A192-0E6C-4E0D-818F-79A8BAA4741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc99ebaed1168e0ea2fc1715d9abb76bb5d622f","datavalue":{"value":{"entity-type":"item","numeric-id":1397239,"id":"Q1397239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$5D29299E-3D61-4DEF-B044-D3CE3131265D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4360b4e30351d9b5ea4ccf9719e2a288adba69da","datavalue":{"value":{"entity-type":"item","numeric-id":2701902,"id":"Q2701902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$E307EB8D-5AE1-497C-9EF9-ECA7592258B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ef4960c50782e215964c895ec9d00f64c678bd7","datavalue":{"value":{"time":"+2007-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3427877$A00427C2-73AC-4E43-85EE-C16C200A70DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$3617874F-C15E-4E14-89B9-77C000E97D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$8A1EEEEB-D1D6-40AB-9682-C7B3183CBF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$7BAB54D5-DE78-4781-84B5-63D5F03EAD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$1B6289EC-021C-4B30-87AD-EF439EA909A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4d136b23760d8c7a9af5ec593c883aa18255afb","datavalue":{"value":"5136755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3427877$7FBA7968-A50E-4C94-8E64-19B5DEB25B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09efb39b650857a4734ad8ee992eb08adb0672fd","datavalue":{"value":"System P","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427877$D86D9E7D-F157-4D93-A6D7-0786E68C50AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2791e50f1464dd32721e31ef4c2fb95b2a6461","datavalue":{"value":"qualitative probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427877$7DEB8D04-3B02-4F74-A486-4EC3570BB465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3427877$9D6008DB-4AC9-480B-8580-275574D304DF","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":"Q3427877$FD52F0FC-7FBC-4858-86CA-B61166F6C441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$1C8B4ADB-BEB1-4312-ABA3-5EB3200B06AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$434BA468-F8A4-4556-A22B-A2A276FBFA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3427877$49F62E54-5A86-4EC4-B7B7-BDF79C80F0B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3018071f14865785ec77cbc3edbb5dbede9e277d","datavalue":{"value":{"entity-type":"item","numeric-id":1601881,"id":"Q1601881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71bee2e9aa0ef5bb418b8d4ef9403e14ab20e1e","datavalue":{"value":{"amount":"+0.7645352482795715","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":"Q3427877$87CD59B1-2B78-4C0E-BD21-E3F954303F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18995c6685f14fe308cddaecd54ff08c0321c2e6","datavalue":{"value":{"entity-type":"item","numeric-id":1924751,"id":"Q1924751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e49de3a2515112917516875796a61c9152ae925","datavalue":{"value":{"amount":"+0.7594407796859741","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":"Q3427877$CA91A419-9E76-4308-B859-1B77B4106236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f7669f2129ea3da687e76d833f82e4009b8510","datavalue":{"value":{"entity-type":"item","numeric-id":4227878,"id":"Q4227878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad500d6195ee6a302761c8dc6e91b6f93fbc0777","datavalue":{"value":{"amount":"+0.7478582859039307","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":"Q3427877$CCBA6A0E-B53C-466D-8800-2C35F1A39C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05da73e686154d5af7f3afca88781aaa217b8cf","datavalue":{"value":{"entity-type":"item","numeric-id":3454723,"id":"Q3454723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c00c8b4b0adb45361400df77131cf8f88cb854","datavalue":{"value":{"amount":"+0.741013765335083","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":"Q3427877$58EB4A7C-7F27-4E5B-A083-5738D0B2BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c61a53a58feaf8f54f61491e07c3a8ec7bee498","datavalue":{"value":{"entity-type":"item","numeric-id":2457653,"id":"Q2457653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150ef97130f74091394cec7317536669788ef271","datavalue":{"value":{"amount":"+0.7384694814682007","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":"Q3427877$03FA0833-89B3-4A11-A9A0-6FFB62A47128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3427877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3427877"}}}}}