{"entities":{"Q695777":{"pageid":697626,"ns":120,"title":"Item:Q695777","lastrevid":51614063,"modified":"2026-01-19T02:06:02Z","type":"item","id":"Q695777","labels":{"en":{"language":"en","value":"A hybrid calculus for logic \\(N^{*}\\): residual finiteness and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116192"}},"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":"Q695777$03986385-6E0D-47EC-9B36-E2BBFA1F229A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81cd149e677736cfd002814eb96c50308d05c659","datavalue":{"value":{"text":"A hybrid calculus for logic \\(N^{*}\\): residual finiteness and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695777$C148CC4B-D81B-4113-8794-8D7E3248C0DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ab8ab5a61ad134ffc2e6479912ebb008af6e10","datavalue":{"value":"1252.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$035BCA34-D2DA-44C7-BAA8-9DCE27A52916","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$7DAE51D3-FF71-4583-A891-45567ADD8A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695777$052B3D4D-86DC-4B2F-9DB5-5F988866F4C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$6BBC8FB5-E598-4A44-9044-884DC7DF0933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$FF4F9A3B-3A2F-4D76-A8E1-95DF720001A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$290C02CC-853D-476B-8DC4-22C8CF0A2E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$181B6A7E-0A93-413E-ABBB-C1D2D023E0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"572f2d1eee54458249ac2f5d7a0d3d90ece1280d","datavalue":{"value":"6116192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$FAF0C451-63D4-4AFC-A817-672D60AF74D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695777$D37FEBD7-B623-461C-A391-A475A9DC3A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695777$C5115730-E8F1-446D-ABB5-5AE877C7F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8916587de8a2ad8c41ebfd8ca188152fef12bd9","datavalue":{"value":"tabular calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q695777$4277E85C-3E31-4445-82F4-57E40CD11C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951f83d10758c58f9429ef974e9e20a369a4702f","datavalue":{"value":"hybrid calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q695777$082416C1-8684-4459-9D76-D0135C7BE31E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$82377008-AD3A-4C38-AECE-ABCA7B29E3C1","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":"Q695777$D54C7675-8635-4C47-AEAB-A83555365927","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61d3c079505e3d41824682008d69194687294be2","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9138-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q695777$981F6D04-2E05-4DB5-900D-5FC51196B478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a10b4df5e7b110db9a661dec3415d4f725b48686","datavalue":{"value":"W2076009311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$2ED06EEE-3EAB-462E-BE6F-E6EF6424874D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1cb6a5f1f615f802973f0cae0c1bad49fa9e78","datavalue":{"value":{"entity-type":"item","numeric-id":3028968,"id":"Q3028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$70822A6E-5C99-4922-8037-C0D00E80CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054d1187a8913c4a12571d82949059b5edadea82","datavalue":{"value":{"entity-type":"item","numeric-id":890788,"id":"Q890788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$65AAEBFC-F0FB-4080-836A-DDC586E8F94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcae7a7ba81a62210ac7d9d22ded6defb55d2ba8","datavalue":{"value":{"entity-type":"item","numeric-id":2558212,"id":"Q2558212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$DEA87706-B1B3-444C-A683-BA0A87E9C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695777$35573351-A4CB-47C9-B6EC-F1B68F684905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"827641e5620d66a3b841aa5095b5e428ed212dad","datavalue":{"value":"10.1007/S10469-011-9138-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695777$E3418FDD-40BF-4EDD-B1FD-0C725F3A4AB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413395bc8645a9b1980a67c36eab54eb05a8de56","datavalue":{"value":{"amount":"+0.7698792219161987","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":"Q695777$C6B9D005-14A8-487C-B4DE-15A33130A6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f180a1a877db8fef1bb4486826b3d7de3bff7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2429982,"id":"Q2429982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d97f07f85224e9620fb4db3683ffbd6ee97602d","datavalue":{"value":{"amount":"+0.7512726187705994","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":"Q695777$7432ED61-A1FA-4444-8062-BE9878E26807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eeadef1fe5aa99dceacd546e4a0fb585684d50","datavalue":{"value":{"entity-type":"item","numeric-id":2797868,"id":"Q2797868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a23d6ae1be186a4075a33df1af1d5e7e39a091f","datavalue":{"value":{"amount":"+0.7478666305541992","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":"Q695777$F7941CC6-2C3C-49C1-BC53-12ED68FE9771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d68b0255b426d27ec489e487120e3713002d6","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcecb263c7a469f63a69f15c3fe1d604d78bc78a","datavalue":{"value":{"amount":"+0.74303138256073","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":"Q695777$499CEABE-F858-4562-92CC-A619E8164535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225398de35b136b88b94d2bce3e95b55a6db16a","datavalue":{"value":{"entity-type":"item","numeric-id":4530732,"id":"Q4530732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1b5282f5d6a05b49d363c62e9ab133d9555682","datavalue":{"value":{"amount":"+0.7372257113456726","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":"Q695777$12DC2105-AA7E-40AF-9EA0-2FF876CCF7B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:695777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:695777"}}}}}