{"entities":{"Q1118589":{"pageid":1129338,"ns":120,"title":"Item:Q1118589","lastrevid":69684783,"modified":"2026-04-13T08:41:45Z","type":"item","id":"Q1118589","labels":{"en":{"language":"en","value":"Nonstandard methods in combinatorics and theoretical computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095458"}},"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":"Q1118589$2B6C24EE-0103-4E9D-A747-15F5F7A66FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aa164ea1ca87f01cc052c65093f7d49078c2cde","datavalue":{"value":{"text":"Nonstandard methods in combinatorics and theoretical computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118589$652B1B3B-74F4-4FF6-A2D2-A0C58E06DD57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d977b77c28e708a12257acebb9a77a0316ae58fe","datavalue":{"value":"0669.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118589$0D62A8F8-2A84-4070-8604-8456526CFE7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9def7bf02ed2687d9c06e697d97b0c7e4317d7da","datavalue":{"value":"10.1007/BF00370549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118589$F24E29A0-9329-407A-9159-CC48FB27BCC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$1E944665-E165-4F51-872B-187E9DEA1EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1118589$734F49C0-7E6A-4D5A-B661-CDFD36651BA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"749a9d1c643ab814dbcfab60d59ba5413bfb2d6f","datavalue":{"value":"This article gives an introduction into non-standard methods and a survey of some applications in combinatorics and theoretical computer science. Some emphasis is put on the use of internal set theory and the particular role which is played by monads. The key point to applications in theoretical computer science is the observation that many important aspects connected with computations are infinite whereas they can be treated as formerly finite objects in the non-standard approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$4C1C2DFA-DF5A-494D-A818-CBEFB43A90C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118589$5274166C-22FD-4426-BA49-5696061818A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118589$49792071-667E-41BC-95A4-A0E84F5A8BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d23c3cf530c0e7e49591c516a419f7262c7c9c61","datavalue":{"value":"4095458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118589$AF0D5F96-2724-4B93-9A78-A01E208FA1DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$6EACED2C-6697-475F-87D4-43515883F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06eb50e3d3249c9dba5af479f69a98ea223a43e0","datavalue":{"value":"non-standard methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$D9FFCF59-1A22-426C-B75E-CCCD19DC80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$AC2CA2B5-F8DF-4C5A-A003-8A7C6B7939B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452daffbc0e9b5f609d47796ead6caac389b3c1c","datavalue":{"value":"internal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$3B24781D-92D9-4962-B81C-DE94E4DBC1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118589$65EAD5DD-D2D5-437F-A6F7-167FEAFAD772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a946268a71126e31f6100d6d0064d43a7f871fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1601837,"id":"Q1601837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$10B41677-F141-4F75-8387-CA84BB4F42BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cbb1276eb7c92a83af8336c192bb119384c926","datavalue":{"value":{"entity-type":"item","numeric-id":2265424,"id":"Q2265424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$200E8220-5FF0-45B7-B74B-BE773E2A7907","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":"Q1118589$139A2FAA-A828-4F27-AD06-D2BBC4FE6A11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b4fbe640f1fc51de145997524e5919d3602be","datavalue":{"value":{"entity-type":"item","numeric-id":3742397,"id":"Q3742397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$E2EFBC1B-48E6-4783-AA5F-2D6F0003B6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$86C4EF99-9BF8-48B3-BC67-D7D246FD9F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6300ece6577c5ba80546c3f919b8c8173df49a7e","datavalue":{"value":{"entity-type":"item","numeric-id":3312912,"id":"Q3312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$630E09A2-69D8-4FEB-BE00-961A1A6A2899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20d59f43c411e784343d3fac812b1eb99dbb534","datavalue":{"value":{"entity-type":"item","numeric-id":4132530,"id":"Q4132530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$D8F0605C-893A-4AE2-8C7D-9B35EECC834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaccf34898ab5221512f83468ce3623117100b27","datavalue":{"value":{"entity-type":"item","numeric-id":3220584,"id":"Q3220584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$E2A16685-F518-4FFC-9878-3C75CDBE7DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29ed8e65f6fae95a6ef1017a40ba31664efc1a0","datavalue":{"value":{"entity-type":"item","numeric-id":3714082,"id":"Q3714082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$518111E6-2FDD-4C48-A73E-5582C2CC1E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0975b22a1db86944e256a4eddbd42d9594aeaad0","datavalue":{"value":{"entity-type":"item","numeric-id":3762318,"id":"Q3762318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$12CD4437-BE50-4939-946A-D1F3DD79F7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$B8812B73-B6CA-4B9B-8184-2CD47C5C69FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33068e17cddfb767a38346d57ddb9eff328ae80","datavalue":{"value":{"entity-type":"item","numeric-id":769773,"id":"Q769773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$63A07C86-7BDB-44D6-A60C-CE34F19C54F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46aa2573c363ba3a62b4eb81a4e63e0f3bed356","datavalue":{"value":{"entity-type":"item","numeric-id":4059131,"id":"Q4059131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$A9419891-DA8A-4C5B-920F-895F6BDFF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$E16C249E-CD50-4988-8AB3-F9FC526FE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c58698a601ad88e9de7fc1a25166a184d7467e4","datavalue":{"value":{"entity-type":"item","numeric-id":4744268,"id":"Q4744268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$9F62F7DE-01DE-4046-8A50-D127B6089D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471655b02437d1c0c71c7d7b9f56813d36c4cc36","datavalue":{"value":{"entity-type":"item","numeric-id":578734,"id":"Q578734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118589$E893AAAA-3E50-460B-92AD-1EFCC1FBD72B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4a381cef4279ac8fb49732c0db9c7e5c52b704","datavalue":{"value":{"entity-type":"item","numeric-id":3744163,"id":"Q3744163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90fa74083872c912d887f9c7288e4d480bf3ec9","datavalue":{"value":{"amount":"+0.8506261110305786","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":"Q1118589$8A07D117-7150-42B3-A24E-E859902B9627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d259f71a4c281d9ac1c679f552925670cd0417e1","datavalue":{"value":{"entity-type":"item","numeric-id":5063670,"id":"Q5063670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219448abde96255aab06638b8cfce6d2436bb605","datavalue":{"value":{"amount":"+0.7705792188644409","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":"Q1118589$C4B9D507-E1F3-4D10-A727-207BC274FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9288f13a8835688ce1414ee828d3bdc861a326d5","datavalue":{"value":{"entity-type":"item","numeric-id":3203018,"id":"Q3203018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36ea3f65fac7ab1aac14c5a64340aa51eed8099","datavalue":{"value":{"amount":"+0.7598297595977783","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":"Q1118589$B15A0098-286C-4AFB-B32B-355EC72DF8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72df9f21f6a6c7fb49181b2feab5a7576732be4","datavalue":{"value":{"entity-type":"item","numeric-id":4812221,"id":"Q4812221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6612993cd1496d2d255a7f68602febe1b95f766b","datavalue":{"value":{"amount":"+0.7537481784820557","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":"Q1118589$E8924422-DB7A-4188-807B-9B19CEC21D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03e2d535783533a5180a58cd09dc8f75232a419","datavalue":{"value":{"entity-type":"item","numeric-id":2415093,"id":"Q2415093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a391a5d5f66160e13ce68a00655d77050ac54d66","datavalue":{"value":{"amount":"+0.7528472542762756","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":"Q1118589$E421C4F0-B558-4272-B608-3DF7148D174F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonstandard methods in combinatorics and theoretical computer science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonstandard_methods_in_combinatorics_and_theoretical_computer_science"}}}}}