{"entities":{"Q2284183":{"pageid":2294926,"ns":120,"title":"Item:Q2284183","lastrevid":55372510,"modified":"2026-02-17T14:43:33Z","type":"item","id":"Q2284183","labels":{"en":{"language":"en","value":"Satisfaction classes via cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150814"}},"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":"Q2284183$80C5DC5F-B49E-484D-AB8D-8282A1B63D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b54e9eaf54e2883bd7db5efe1e68eccdb9b5b000","datavalue":{"value":{"text":"Satisfaction classes via cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284183$0A591AD4-C274-4890-8638-C94AA37275C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"953d4d91b937aab09d22306ba96540516f5c4f35","datavalue":{"value":"10.1007/978-3-662-58771-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284183$3D3386B6-1C9A-47AB-9F81-55B84B00D5DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de95221d43b9fbc5873b42084a5b7dc3b15bddef","datavalue":{"value":{"entity-type":"item","numeric-id":381005,"id":"Q381005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284183$516D04F8-E93F-43CA-BE99-4CC8B9051B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284183$AE267C84-720F-49E4-A73F-FDFBDE98466B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284183$6F4C361E-E774-4DBC-A2E6-4781ECFF447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284183$FCC56A45-6972-42D5-980B-29A2773D5A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"949218e51f7a29ae6815e9e43d33df99fa37ae15","datavalue":{"value":"7150814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284183$C80F75C0-5E57-4187-8CF4-1FD349256B1A","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":"Q2284183$9B1B066E-EFDC-4C6C-8D27-829C17BE7B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98dca7e0c646b24a13daf55d7cd065644525bbce","datavalue":{"value":"https://doi.org/10.1007/978-3-662-58771-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284183$9B2C9882-E18A-46DE-8C79-647FBB73E537","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c59b459ddaf855c2a7837b96b8a3bdab34b22d5","datavalue":{"value":"W2912000131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284183$89518215-F8D0-401F-A4D8-C596AFCF9B5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681a56e97085b227d5d521b4f082330b98c40e0","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7239a5fd485f2bda7161e2f4e7dac34d7f7da657","datavalue":{"value":{"amount":"+0.8284788131713867","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":"Q2284183$E502F5A8-BA71-4726-84DD-DBA87B74F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08236fa9196dfd579c405e2a36ba720a227ef8a","datavalue":{"value":{"entity-type":"item","numeric-id":2639847,"id":"Q2639847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b00e929dade2ba7aa0b83c3d3efe466352196b","datavalue":{"value":{"amount":"+0.8154650330543518","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":"Q2284183$E130A887-607B-45E4-849C-BB66011798B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b38612979a877636db7af4c4a38f51ec0e2b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4218527,"id":"Q4218527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8a81e84046c8d9b51bc8795a894e8ff73023b7","datavalue":{"value":{"amount":"+0.780409574508667","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":"Q2284183$53872DF2-FFF9-4EC2-B2BF-5BE7FC9B48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0683dd32b81d514eac133d596777b75b936d7b29","datavalue":{"value":{"entity-type":"item","numeric-id":4295207,"id":"Q4295207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14a0c5069ccb8a74dc33c63926d5850bebb8ea4","datavalue":{"value":{"amount":"+0.7800915241241455","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":"Q2284183$ABD74039-777C-4FE1-9315-998F99966257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb97e2acfadd7970f084a94efcce13432a137c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2856063,"id":"Q2856063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f67c25db3e2d2c2d302aa0ba9e5f82b3746abf","datavalue":{"value":{"amount":"+0.778632640838623","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":"Q2284183$BB6DBCDC-42EA-463B-8991-B862174BEB33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284183"}}}}}