{"entities":{"Q4254635":{"pageid":6284236,"ns":120,"title":"Item:Q4254635","lastrevid":46839441,"modified":"2025-12-25T17:02:43Z","type":"item","id":"Q4254635","labels":{"en":{"language":"en","value":"Deduction theorems within RM and its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310708"}},"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":"Q4254635$64C1D828-94EC-44BA-9FCC-E5263F1A4411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ceff8e86d9b300a8b2490fb2834aac777014b9","datavalue":{"value":{"text":"Deduction theorems within RM and its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254635$101FD12E-7B1E-43B9-A8DE-8BB46FEF69F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9cd28a9c77a5c5562367dbc166da87f02ce8cad","datavalue":{"value":"0967.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$457867AA-3CE6-450C-8850-F3CB17EDB65D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0c20b19fcd6e3fe3d94d438809f736e8b083b8b","datavalue":{"value":"10.2307/2586764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$04C78BAC-0CC8-4F58-BD2F-1FF82B68A450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$A204CB3C-A12E-4AAC-BCF9-6C4571B875E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$A7E94457-332D-46B0-9B7E-142A74CAC370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$492E4EF9-C7F0-42C6-AEFD-15D8EF58843F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254635$552B7BCD-583F-46E1-9366-7313F429F896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$A8434217-BB91-434D-931E-74F945236903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$E35CD817-B7CD-44BD-92CC-87C728CBF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$C3BEF8B2-FE51-4A14-976C-42506A64841C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165c2c6fd5f0f02272f1b2fac991b01a24082925","datavalue":{"value":"1310708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$117BE379-F597-4794-AD1B-3D2F48F3E837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254635$F64D42B3-6E84-4D71-BF33-12F582CA553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254635$B62E086E-F6BA-4940-9305-12256EA97A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254635$C50DDCED-C35E-4902-9EBA-A1196AB501CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74cf7fad2948749095ab216330c6412d66c53502","datavalue":{"value":"Sugihara algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254635$753194EA-7A4E-4003-945E-0FE6A3782BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a50ffa2df8f58dc0e19f5247e3e58137dec3e6","datavalue":{"value":"algebraization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254635$54889C7D-A9DE-4051-9580-2B2B335511AB","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":"Q4254635$FD7482D4-BD78-443A-92C4-95C9183CC120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a8d0e3adc3fbaf7e4f0c5817ff6c5cdb041f48e","datavalue":{"value":"https://doi.org/10.2307/2586764","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254635$E3D5C1AA-8255-4D0B-AE9C-90814E271C78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a200a600f860c8cd51970b9c6570dbcf7dcbb77e","datavalue":{"value":"W2032293028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254635$05132067-BF85-48A3-B514-A81F154B1CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$520D52CD-8EE5-4715-8633-E9B820A64A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$1659C5CA-515D-4A91-A345-BA35C827B34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$299ED634-D28A-41DC-A030-E9C6EA65D7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7264724ebd91624c4c17396fabdf6c09c88b21","datavalue":{"value":{"entity-type":"item","numeric-id":1821123,"id":"Q1821123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$5983DEE1-1059-4CAE-8598-7C9A5E335DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94af076537c519674b09fa5a4530cb9f93d0277","datavalue":{"value":{"entity-type":"item","numeric-id":1211481,"id":"Q1211481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$395AA38F-8BD3-409E-A23F-579E8EBAAFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d68ad29ba122045e1f740985dc1a0e7a58f3c54","datavalue":{"value":{"entity-type":"item","numeric-id":1918964,"id":"Q1918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$062EBAF5-B75B-42F5-B5B0-3354384560F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabc196162aa5129a29002b49eb14619d4ddf836","datavalue":{"value":{"entity-type":"item","numeric-id":1189891,"id":"Q1189891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$56D9D757-6074-4C4B-852B-38B46EEA3A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$FFBF9011-6FCB-479B-8C3D-7945C77F57B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254635$08ECA308-AE50-4656-B767-FF39AE4A40DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cd71c0d0a4fc9ab2f0574905cb7b9421c0c9ff","datavalue":{"value":{"amount":"+0.7606112957000732","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":"Q4254635$1099FDF1-3101-44AD-ABAA-354F945CDFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54af863b0d9b51edc5ec3998fadfa30fe38ec962","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b81d3eeada32622633c9b3dd72ee76afd61676","datavalue":{"value":{"amount":"+0.7546086311340332","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":"Q4254635$49F451D7-CE76-4C04-8440-804B192AC93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf1f8605add2dcc7b97771d581af046cff74a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1770601,"id":"Q1770601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9347b994301d261debf649ceb80b13f55d512eb4","datavalue":{"value":{"amount":"+0.7387349605560303","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":"Q4254635$EC2390B8-BFFA-4EA0-89CF-7BF2A658A5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2534081a30f2a1c4415470b3896fb4ee5bc7abfe","datavalue":{"value":{"entity-type":"item","numeric-id":3691672,"id":"Q3691672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bf25f108430131de1bdac61256418e3a09a592","datavalue":{"value":{"amount":"+0.738525927066803","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":"Q4254635$1FE3792A-3288-4CA4-8D06-F80AAFE9BA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27886b2c1c4f2d27a76f2fb28bda7b3fef1f195","datavalue":{"value":{"entity-type":"item","numeric-id":1802378,"id":"Q1802378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f85776cf8446b1f27e5cdd78565116d7c32b29e","datavalue":{"value":{"amount":"+0.7324739694595337","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":"Q4254635$59A34149-47B6-4F42-8E02-81D492749040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254635"}}}}}