{"entities":{"Q3098034":{"pageid":3108749,"ns":120,"title":"Item:Q3098034","lastrevid":51363833,"modified":"2026-01-17T22:47:32Z","type":"item","id":"Q3098034","labels":{"en":{"language":"en","value":"Kleene theorem in partial Conway theories with applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5970637"}},"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":"Q3098034$8B49AD7B-3C5C-4694-8518-5D623CA9E883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8b1d52e65c31e549870ef94f442cf7ad9fc7244","datavalue":{"value":{"text":"Kleene Theorem in Partial Conway Theories with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3098034$07426807-F9AC-45F6-A41E-D4CEB3306931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92ff87cf81b043f48df4bde796fe9927d04419ae","datavalue":{"value":"1318.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$3934D57B-3E80-46AC-A017-B4AC966F2186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"822024bd4f7f810fec1f3f8a435c8ca511c02729","datavalue":{"value":"10.1007/978-3-642-24897-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$7A4788D6-B306-486B-9719-0627172F6A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e777c72357aa8b5efa118f53abf36bcef9ce477","datavalue":{"value":{"entity-type":"item","numeric-id":2847358,"id":"Q2847358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$40A78C00-4A50-478E-A43C-4229CB4F88F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$9249B72B-622C-416A-B927-0D462EBB28A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4276f94d4ba11b1afbfae0ce40e54b124b9215bc","datavalue":{"value":{"entity-type":"item","numeric-id":3098029,"id":"Q3098029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$25EEA88D-EC1E-448B-9C6F-27B2DA8AEA3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b5b7eb336fcffc8a9f14fec2b171793bea58a94","datavalue":{"value":{"time":"+2011-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3098034$1948BB47-6EE4-4E18-82A2-F75377574B55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$8F7E815E-1108-45C8-969A-7CB6F7EAAA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$3C2C69A4-B311-4D7A-B0B2-72B386AB294E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321e15beb74ba88768d72b4e5b6dadc25e970aac","datavalue":{"value":"5970637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$6361CDDC-C554-4947-A6D5-63FD9A87240E","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":"Q3098034$DC43B4F2-C05A-4247-9E51-74AD8525B2AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b50a66ac3c6bbae1eff20657a12d732ccc3fab3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24897-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3098034$C8D4FA2D-EC55-4457-93CA-8FB968C2FC75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9d048ef571824c72a59f912a6ccffa81fb35437","datavalue":{"value":"W100377933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098034$E5993F09-B915-45D6-A502-0942B958F125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$4E3C47B0-BFF2-46BE-BBD8-97D8B9763B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$4AE7FEA9-1CF1-4B4E-98FC-CA545D634D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$0D2B9CF1-B571-4D58-8DC3-7A63FC83F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$E78795CC-6F66-464C-9932-10F9AC2C99E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86c809e564f459180d789c459ffb72986e31d2d","datavalue":{"value":{"entity-type":"item","numeric-id":4449535,"id":"Q4449535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$2402E5E0-9921-4C0D-9B91-E52B1FC94356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3157dfd682e106a7748d683af9a34aaf811e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2389332,"id":"Q2389332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$AA4028EF-DE40-416A-8148-4D29B0352EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6802d82655e278b484a9d306dee8d435b453532b","datavalue":{"value":{"entity-type":"item","numeric-id":5506336,"id":"Q5506336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$4A3221E0-FA7E-487C-9D1C-4D3C1F6E1944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c8cb30ad32b9270e4d5117a37a9038bce01a05","datavalue":{"value":{"entity-type":"item","numeric-id":1238420,"id":"Q1238420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$858ADD58-4012-46E9-B841-0F61209F5827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d603ed81a0a8094784f6feee708601139e0d424b","datavalue":{"value":{"entity-type":"item","numeric-id":792763,"id":"Q792763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$7F05EAE4-5101-40FF-A3AB-F7ECCA644D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726054eb080cce02aeede690f7345dc64ec1af05","datavalue":{"value":{"entity-type":"item","numeric-id":1239362,"id":"Q1239362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$8802BC51-6561-44AE-9A2C-C33131FDB236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$8FDC242D-7EB8-4021-8D3C-A404050BB686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4816e1d3a572c04918b2f91bdf72de68672877bf","datavalue":{"value":{"entity-type":"item","numeric-id":3957911,"id":"Q3957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$9BD108EA-1BAD-4AC5-B9DD-A95FA7E93E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$6278FF5C-0810-49F8-BC15-A7AA253E3744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$6C1E3016-3E3A-4B61-9BFF-F7EF060FAB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5759abe756869ac4e9252d9f6bda74a163e9fc82","datavalue":{"value":{"entity-type":"item","numeric-id":3098033,"id":"Q3098033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$F3D094E1-8EF1-4145-9E71-848CD9BC42CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c45afa59ab94a1c04fe06a95306ca413f00511","datavalue":{"value":{"entity-type":"item","numeric-id":3642535,"id":"Q3642535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$FC0677E6-FAAE-414D-9791-BD52EBFB3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199ba3dbfc3f92c0be4caa38546b22e071eb88ac","datavalue":{"value":{"entity-type":"item","numeric-id":4449537,"id":"Q4449537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$7CD98947-A14E-4B17-82D5-B00F8FC59CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b173c8f26a3c9eaf0d364be27435c435277355b","datavalue":{"value":{"entity-type":"item","numeric-id":3431478,"id":"Q3431478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$98BA9858-3B70-4F4D-8234-BFD213DDC405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$A5EC2D61-DB2B-4E9C-A9B0-A9F1280AE57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$7130B986-17C3-4F5B-AE84-A76C37510040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$0B27D19A-5DBF-4CC9-B7CF-41F3EF649877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$651115C1-09A5-4A90-B8ED-90E8FC0D0BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$F0334D4D-3E22-4726-9B43-62EE1555572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e77c6dffec9eb1517fe5c7c4cba68d19b2f1de","datavalue":{"value":{"entity-type":"item","numeric-id":3293455,"id":"Q3293455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098034$F2DA82D3-8142-4B1F-A95E-11599ACC0B2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982fb40192558b8a63fd4cc9b6f123b399a72f76","datavalue":{"value":{"entity-type":"item","numeric-id":5506336,"id":"Q5506336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22347c617ad0e4aea9039104013e6078e99a0339","datavalue":{"value":{"amount":"+0.8127145767211914","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":"Q3098034$D876276C-B7B6-40C7-88CD-7A4DAACAC89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdad643b7800c4be88bcca06870b632f4dd92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3642521,"id":"Q3642521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305963464e59f9de5b0086a1302f1c9b24fc8be2","datavalue":{"value":{"amount":"+0.8073894381523132","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":"Q3098034$9942C892-EA23-422D-8DC4-6EDA14D8C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa38e16ec2bdb1c008f7e33d2de9f38b1f05e33a","datavalue":{"value":{"entity-type":"item","numeric-id":3073227,"id":"Q3073227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165c6e61be37aa8d2ddc931bc046ba70932e46df","datavalue":{"value":{"amount":"+0.8054017424583435","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":"Q3098034$A3A043BD-D717-4F2A-8D99-11A899892F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8722501dfcae658eb515d5df637f4174e170b28","datavalue":{"value":{"entity-type":"item","numeric-id":3098033,"id":"Q3098033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf69414818a4ac1181611e424ffdfde846a1e2f4","datavalue":{"value":{"amount":"+0.8014855980873108","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":"Q3098034$BF736319-4A0A-45B3-A701-3E778975792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445f1d1ac4aa841704a1b504eec5651353ae846","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e2f2a61258acdb84c427be5f3d6a1a562ad4b","datavalue":{"value":{"amount":"+0.7672969698905945","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":"Q3098034$AF878D89-B55B-4AD6-AD19-B8A1EDB674FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3098034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3098034"}}}}}