{"entities":{"Q3412001":{"pageid":3422704,"ns":120,"title":"Item:Q3412001","lastrevid":58172214,"modified":"2026-04-04T02:34:15Z","type":"item","id":"Q3412001","labels":{"en":{"language":"en","value":"Introduction to Cirquent Calculus and Abstract Resource Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076978"}},"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":"Q3412001$66988755-611E-4069-A3B7-7B990ECE78A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"588bd478acb00fa9946c2cad79c6c78c13cc43e5","datavalue":{"value":{"text":"Introduction to Cirquent Calculus and Abstract Resource Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3412001$934B2B5A-47D1-4C63-9BDD-B8C843BF14B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41e3d039aab48f984e0351d803b5003e7f914795","datavalue":{"value":"1113.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$D1DFAD27-01CC-4772-A6CC-845C14C69C02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3412001$8630F011-C69A-473D-950A-3F381E5DAA2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0494d9ff9675824ad4a3920c36d910ae3d36d33c","datavalue":{"value":{"time":"+2006-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3412001$0739B5FB-5962-4071-A8D2-B25D7D939386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"806fc23cb193638b919ebffcdcd565e41fbdcdfe","datavalue":{"value":"https://arxiv.org/abs/math/0506553","type":"string"},"datatype":"url"},"type":"statement","id":"Q3412001$04C2697A-35CB-4175-B152-8AD2F6189EBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$17F2D1AF-D480-490F-A292-3EA7602CDBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$7332904A-C024-4E32-B56B-8973CC2254AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$B3FB82E6-83F3-4031-BC54-831D2A9118E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$224C3258-31AA-4A1B-9B2C-746C11E9CE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"101d64f3f5600a8ee25fcc3f4cc2bedb32d82fa4","datavalue":{"value":"5076978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$6BF41C23-9DDC-419D-AC26-8D81D2FE373B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$51A134DC-22BC-47A8-960B-E3DFC1E34B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$4C77D7A0-1575-4A9F-B102-BD18BB3F5C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$FCA0835F-B262-4417-84E7-1B46FF6F6BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$E37D5CAC-B0B7-4ABB-B4D3-15D479C05C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$FD1A0D17-A814-4962-8439-045F542D89CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$6140F5D4-BA29-42CD-9B00-29766F292158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc35f05507f2f599ca678dae484d9c6c08184fec","datavalue":{"value":"affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$71EC604A-9FAF-41B4-97D6-C39F025321AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3412001$229FA949-2490-495E-9228-BC9B2698D80B","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":"Q3412001$35924461-0AE6-4583-8BAE-89682C7CAA04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f50a608ab966f6606f00e6fc20c9c52247af60","datavalue":{"value":"W1968811614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$8DEC6F3F-806A-4416-931A-A9904F76765B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"65f6d63b899791114016ea52c95fafd7f8ce4b5f","datavalue":{"value":"Q56780723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$42D88878-C205-46A4-A288-B9FDC6C75553","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"abe6ba4e75847237af5012c26d1e924bfdb32c80","datavalue":{"value":"journals/logcom/Japaridze06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$9AC1B255-CD5B-484E-940D-9A68426FF5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6c766c75b2b152872d8158e6bceadc8978b2c4","datavalue":{"value":"10.1093/LOGCOM/EXL005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3412001$027CAF67-3DE4-4C1A-A44F-FE81E3E5560B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2ff61afd3ae163968251001b53b9e89beca20","datavalue":{"value":{"entity-type":"item","numeric-id":5246717,"id":"Q5246717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4704a222ad6ed4b8457628d1f14bbe3ebe077f9f","datavalue":{"value":{"amount":"+0.9322583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$6FF4503B-D31F-43D6-8566-DA91D09CE266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33ee19ca2904698fcf6009f64fc45be4878bfc1","datavalue":{"value":{"entity-type":"item","numeric-id":5869526,"id":"Q5869526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef3b131c3d09931e9780820c3fa12401009ae7e","datavalue":{"value":{"amount":"+0.85227174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$51120BB8-4341-49C9-B2EF-284A546C705D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3277c8ea12e0e2357a237e523ad0923b1c27beb","datavalue":{"value":{"entity-type":"item","numeric-id":5014061,"id":"Q5014061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1f7438b3592df779da7ecbcfd463b8cc7d22fd","datavalue":{"value":{"amount":"+0.84647614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$2B1D6DAA-A719-4CF7-8F6C-2798D8959827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1a76ad276107f3e8522c25f16266ca541f73f0","datavalue":{"value":{"entity-type":"item","numeric-id":5059715,"id":"Q5059715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56921c7d5978ae51a69e7943a8b6b224f9c818c","datavalue":{"value":{"amount":"+0.84636074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$9152043C-DCEE-41A2-BB81-2339C249F96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938b427fb1eeecb7eaf0d6a3abc2302344e3c204","datavalue":{"value":{"entity-type":"item","numeric-id":2903763,"id":"Q2903763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d388a106ee74fd4757dd6ee38072989b77b946ec","datavalue":{"value":{"amount":"+0.83145064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$D2A18A68-9A98-4831-8109-340B25D1C5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9fe235383cbcbb3315f6ef221a9afe97add26e","datavalue":{"value":{"entity-type":"item","numeric-id":3003318,"id":"Q3003318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055ed020c663eb21dc91c9efff7c7cbbd755c4bf","datavalue":{"value":{"amount":"+0.8302469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$DE47E818-4F0E-4F16-993E-DFEB0C523216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b871d02f25c12fe1a724952fbebe993b0e2c7d","datavalue":{"value":{"entity-type":"item","numeric-id":301368,"id":"Q301368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a800e7bff61f6668b01ee68c38f1f08cbefc63","datavalue":{"value":{"amount":"+0.82682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$68EED4BA-DFA5-433E-83A5-97E02CD5969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d565c36b1aa090a1ceb9853afcbd184969aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1935368,"id":"Q1935368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d433c6b22e31fbbbbf994772105be96770d7f10","datavalue":{"value":{"amount":"+0.8238794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$FE4BFBEA-D8E3-49D5-920A-D815F481EFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cae4d16f307aabe590860cf73ee890b2e6e429","datavalue":{"value":{"entity-type":"item","numeric-id":1934954,"id":"Q1934954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ecd5937ce1206ff9f99ab93b96cd94b979ef85","datavalue":{"value":{"amount":"+0.8210521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$26CED5DB-85B3-4C2D-9F29-B67D2EEE0AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c6458e15270b0da70832c907cfa88dbcf2df23","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314590f2c72c26a17ccc88912bd105d0be74d1d6","datavalue":{"value":{"amount":"+0.8180336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3412001$ECF1B416-AF92-4850-A36A-EE2AA0CC0BAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3412001$6F7E2ACC-32BA-40E7-B5FE-B640B82F1FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3412001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3412001"}}}}}