{"entities":{"Q2931251":{"pageid":2941971,"ns":120,"title":"Item:Q2931251","lastrevid":58063380,"modified":"2026-04-03T16:05:58Z","type":"item","id":"Q2931251","labels":{"en":{"language":"en","value":"Tabling, rational terms, and coinduction finally together!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373638"}},"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":"Q2931251$B80EB6F0-D131-4418-AEA9-DA5A9D5678F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad1d44ded7e6292b6e758bbcd84b9d7383701040","datavalue":{"value":{"text":"Tabling, Rational Terms, and Coinduction Finally Together!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931251$B9E3AA98-A999-4ACE-BD2A-30324C15CBC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d350830b0ca11dcaf92d6b936f3cd7ef7a36402","datavalue":{"value":"1307.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931251$87779E2C-29AC-47EE-B3AA-786CF58E6E04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"059167a14d3f0b5c832e3ed26a0047d9e3314b7a","datavalue":{"value":"10.1017/S147106841400012X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931251$4249689A-6D0F-4CC3-B1BB-7B1E85AF2AEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd7c057bf7554319686c2dae6e2bf091d81ddcf","datavalue":{"value":{"entity-type":"item","numeric-id":2296695,"id":"Q2296695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$AC1CF708-D872-41AF-B5CE-CFD61F29E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a69f27b46f284c9f2508945940835ce0c8d3a83","datavalue":{"value":{"entity-type":"item","numeric-id":291262,"id":"Q291262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$9687A5D7-4EAE-4725-8B59-90391D1E7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcffa53daab916c3b3299d0f18009d1496c31ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2931250,"id":"Q2931250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$00925424-2C04-459A-968F-05A221FB9FC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$6AFEC2A9-207A-41BF-ACF0-6EB7D9E5661E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931251$6CBAFAE0-4B02-4BBA-95E8-68BFE803CC40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"222b071f785e32af76ad9441bd33cdcf3b5b9c41","datavalue":{"value":"https://arxiv.org/abs/1405.2794","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931251$04E7FB26-C361-40D0-953B-A6331F917457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931251$EE07775B-0DD2-4290-98AA-CDA47C690D9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59537aa30e082d3977c1c3886672d928115d4bf3","datavalue":{"value":"6373638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931251$55552AE3-3E97-46D8-B0BD-5F5148B63FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931251$239CDD28-5633-4223-8CD7-70EDA52CF97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3046302bf7aa3677520cda20a3b15230aee62f8","datavalue":{"value":"rational terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931251$7F324587-FBA3-4B6D-BF9F-C57695575568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931251$200473AB-75E3-4EF3-ABA2-DDF684DC9B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931251$BCD145AF-2BC3-4FC3-A79C-E809CAEE5206","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$B302E859-3A9A-46D9-AC45-C8AA2D9C1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4159e6648806f3f9d4482408c4e384586b151fd1","datavalue":{"value":{"entity-type":"item","numeric-id":19012,"id":"Q19012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$D652CA02-CE80-49C4-9B34-80187D819C5A","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":"Q2931251$0D1EF534-4A6F-40D4-B6B5-A916F70A2C2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e284b4ae70d31e0721de73715c939d658fe3ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$56D65BDF-2141-4B78-8945-9AA0C340EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$18CCF389-789D-4D41-826A-CBFA9CE74AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7107bf70a37ed3bdd9161ef8c909e6889509c96c","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$BC4AFBEE-4DAE-4015-AA72-64AD6ECF55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8e18227d94d33cf9a27bfc12ad59fa14afda48","datavalue":{"value":{"entity-type":"item","numeric-id":3694728,"id":"Q3694728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$E66F9A89-D2AE-4C7F-803D-55348B007002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$7CC23CDE-06E7-45BA-B566-E0BCC083830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$14F1C4BE-2C94-457A-9965-3A8A2C3758C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$38940361-20A3-4B18-BA5D-6537327B94DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8babfaec28a21c5a55bf9b6779b9f684b10de0db","datavalue":{"value":{"entity-type":"item","numeric-id":4223452,"id":"Q4223452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931251$88A82471-93C1-41FC-B959-F145416492B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70bc817b80b6150e8aaf10d66ef28f4dcb19372e","datavalue":{"value":"W3100924394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931251$73531E37-FFEC-42AA-9223-344BAA40647E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af9a793822a9d1313dc15ac15c472a415f7fbcd","datavalue":{"value":{"amount":"+0.7654241919517517","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":"Q2931251$D7C572BD-02AF-4B3B-8930-735E1608262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b07a054effb01c4406dbd2e9ac3080413faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f452ee759d6ef2e9db9be521ef4b163fabe9f00b","datavalue":{"value":{"amount":"+0.7625316381454468","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":"Q2931251$AF53F71B-CDB0-4BD6-A500-0EDD8075A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c906c8494991e586a155b65885a44a446bd24","datavalue":{"value":{"entity-type":"item","numeric-id":5437650,"id":"Q5437650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4f5c33dec415d70df23fa0845db4bb4aae1d08","datavalue":{"value":{"amount":"+0.7417576313018799","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":"Q2931251$FC5F89C6-493C-415C-B39F-6DF5F07ACAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a20be049ab2180a506066c1224f098772b3355","datavalue":{"value":{"entity-type":"item","numeric-id":4494370,"id":"Q4494370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ed6e706689d873f93c149c9d3b2220c288599d","datavalue":{"value":{"amount":"+0.7391042709350586","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":"Q2931251$508E16BC-BC15-4854-8CCB-395EF24AE178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea50ed238d6385ede59d152c882c0dd3c710dc","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ed6e706689d873f93c149c9d3b2220c288599d","datavalue":{"value":{"amount":"+0.7391042709350586","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":"Q2931251$8DBA3ADE-A36F-4C44-86FD-55B35243DC66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931251"}}}}}