{"entities":{"Q4842532":{"pageid":6872112,"ns":120,"title":"Item:Q4842532","lastrevid":47341351,"modified":"2026-01-01T10:47:51Z","type":"item","id":"Q4842532","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785043"}},"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":"Q4842532$BFC92A31-1BCD-413C-9038-E847A09B2AA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5acf3056c8fc9ea9fb926ffece618c99aa86e6ec","datavalue":{"value":"0856.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$73D2AB1B-7D6F-4AB5-B066-56177254183C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842532$B6823C83-9BAC-4703-A1DB-37ACA769A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842532$D80066C8-B6EA-4378-B8DB-D04AA3E70008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deead79924b69b6828fa3774ba1ae29a5806ece3","datavalue":{"value":{"time":"+1995-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842532$BD651623-DA9A-4C59-9C48-66778BE7CA38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$DAB010BE-1AAF-488C-9686-4C463CBC99F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$1450AB52-7F4D-4C63-84B1-216F14A37800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$F3D11CCA-278D-4A66-B531-38B9E007B35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$CF21FD95-6E76-47E0-84A6-B4F41B7948A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3493611d11a9b32b79b6ab907963b850da50dee7","datavalue":{"value":"785043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842532$C49EE33E-A1DE-482F-B666-D247246A6B46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a69b65dc2d99f5c8653ec3000405ede7b82bbc","datavalue":{"value":"fragment of minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$BF8C3D8B-4C72-45D0-B288-F84560B26002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$1367CF40-5EB5-42C6-A612-434F1CD17880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$AFF5C096-EEA4-4B86-B40F-1E7E3355E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$E0909891-D3F2-418E-90A3-24CFF689A102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$72E05614-CF19-4750-A4C9-A1E9A02E2123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$CECD0448-EF31-476E-B9AE-A719C9097A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379c1ccd69fb6203db3430c6c7947867ad02f6c9","datavalue":{"value":"extracted program of a derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842532$845983D3-65FC-4399-8E79-8467E08C108B","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":"Q4842532$E47806F1-86A0-4ACE-8736-8EECC0D0B029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15563105d4ad85d0501988063639e6a909039","datavalue":{"value":{"entity-type":"item","numeric-id":4028371,"id":"Q4028371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe93651743c927887768cfadedcd0909869978e","datavalue":{"value":{"amount":"+0.7816970348358154","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":"Q4842532$C01C40D0-B1A0-43B4-8D06-207634E86CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe93651743c927887768cfadedcd0909869978e","datavalue":{"value":{"amount":"+0.7816970348358154","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":"Q4842532$B74C9FF8-469A-4A98-973D-B03314E72200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240154d149fad592acfc89731d2d5ae34ceb579c","datavalue":{"value":{"amount":"+0.7793701887130737","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":"Q4842532$658173B3-20B9-430D-B828-7F99C4BA2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895b3a7152013dd9e367d76658e1cdd420ec8e89","datavalue":{"value":{"amount":"+0.7786434292793274","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":"Q4842532$37B225D7-C079-4119-A301-3CA4C25AAFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dd5ca55f4367f2ed1011304c47ad16fa789bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4825743841e9f85774727642bfc6c880346cec60","datavalue":{"value":{"amount":"+0.7762220501899719","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":"Q4842532$521EF15B-23DF-4314-8D85-09C97560A40F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842532"}}}}}