{"entities":{"Q3318773":{"pageid":3329481,"ns":120,"title":"Item:Q3318773","lastrevid":45951181,"modified":"2025-12-20T22:00:05Z","type":"item","id":"Q3318773","labels":{"en":{"language":"en","value":"Further applications of ultra-conservative \u03c9-rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849223"}},"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":"Q3318773$585835B6-F668-4DBE-84E1-3D18EBEEEEB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95fa6988b60519be5f2eef926a3d2278fa893f43","datavalue":{"value":{"text":"Further applications of ultra-conservative \u03c9-rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3318773$B05406C7-4773-47D5-A0CE-C9647D527108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bce9c97683b5cd616040b38cde32cc50e87d81dc","datavalue":{"value":"0535.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318773$2D2B3357-F006-4AE7-B171-C4FF5596BD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f35ba7e5ff3a13b96a3eba87be8fc98f539bcbc","datavalue":{"value":"10.1007/BF02297650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318773$94D87D71-430F-4DDA-9984-66A4FC4B1E41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$E5D66CA1-8B80-4351-8842-0A493C88ACBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3318773$3CFD60CF-A05E-4ACD-867B-49860BA0ED61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff4249c2ab3d42f089726a53a0430cc29fe713f9","datavalue":{"value":"https://eudml.org/doc/137994","type":"string"},"datatype":"url"},"type":"statement","id":"Q3318773$E9A03BFF-9C63-44B6-8CA6-97C587CE6DCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318773$BCCFE154-F4C7-4ED2-98AD-93775061D047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208d9b04bcdc3bb1874e0eb05317a8bb52bfa9c7","datavalue":{"value":"3849223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318773$452162B3-83F9-4596-9DC4-FE6297C50D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318773$8D7D317F-CD5C-4866-87D2-AFC0C76969C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318773$4A50DA22-432D-46F8-BD3B-2D91981BC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318773$5DEE9953-2594-4EBA-86BC-9C797809196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318773$BD0C44FA-CFF1-4583-BA30-7D19E044A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f6513da07f955593a72683f0b4cf7e6a48be35","datavalue":{"value":"infinite derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318773$4C3C6BE8-A3BC-405C-889D-386D5A890557","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":"Q3318773$B64B5AFD-F098-445A-B7A4-929CC4F7FFED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db25d410791924db105acc47548ba1d12584781a","datavalue":{"value":{"entity-type":"item","numeric-id":5602909,"id":"Q5602909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$410394A6-2F7D-4795-B9A7-F2BFE1B96C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc20c39e0b33b874af0982ebf6bc1d64db55ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4079564,"id":"Q4079564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$5389668C-9CFB-4BC1-8624-E963542D556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8af03cbe9572cec2ec6b3862cc705058151f3e","datavalue":{"value":{"entity-type":"item","numeric-id":4132501,"id":"Q4132501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$5AA76755-69FA-4246-A38E-C87BE9FACEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b0cab9743496f8a4298bb29bda5876b5b3752e","datavalue":{"value":{"entity-type":"item","numeric-id":1227605,"id":"Q1227605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$79E0C514-994C-4F8A-A4F1-1E74F1904DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae4fe7fd404ca1eb2442fe926d64b481ae906b2","datavalue":{"value":{"entity-type":"item","numeric-id":4063418,"id":"Q4063418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318773$CB103777-FC86-43B8-AB5B-F554D3128950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74cd496963249ee61156d06102548765342f8f48","datavalue":{"value":"W2028571085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318773$1D95B3A1-90B6-41E2-B94A-7E2E49F4B921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96d71d68f4ade903988bf3ccecf4d935f1c7299","datavalue":{"value":{"entity-type":"item","numeric-id":3792680,"id":"Q3792680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd8dc2408c8e4619548af7449d063fd29842d67","datavalue":{"value":{"amount":"+0.73222196","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":"Q3318773$36CA35E7-380E-4128-9CF2-66D464DCB0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73da57a985624217ddd516d67ee9cf5cab8b26c","datavalue":{"value":{"entity-type":"item","numeric-id":3003361,"id":"Q3003361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4946f6049a4dfeb412e6866185a86f113e9e4282","datavalue":{"value":{"amount":"+0.7305004","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":"Q3318773$9E27461C-5E74-4408-9773-936AA179A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb55a7782805258c8fb7d4674f4b2d0d3b72055","datavalue":{"value":{"entity-type":"item","numeric-id":3724327,"id":"Q3724327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34172bd0538244050692613a5d851a6f2898edfb","datavalue":{"value":{"amount":"+0.72815406","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":"Q3318773$8231CFD0-F8F0-4969-8CC4-01A909E64D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d1ced42076af5b889b8e84c34beca1d0395cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5937853,"id":"Q5937853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6102d75ae4868d2d86653f6b0785df91e0d5abfa","datavalue":{"value":{"amount":"+0.72683203","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":"Q3318773$77E795EE-C2E1-412C-BEF4-B6DA528ABA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f9f30b673fef6ed159b38f8347d01785667b7","datavalue":{"value":{"entity-type":"item","numeric-id":4255511,"id":"Q4255511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44b72ab7e08876b9a6cf7b3397b3821a2260200","datavalue":{"value":{"amount":"+0.72424936","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":"Q3318773$FFAE47A2-52FE-4E7F-827C-7EF75BE6E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0c7e74e9d7c8b9d69046b8e03cefc083790027","datavalue":{"value":{"entity-type":"item","numeric-id":4981452,"id":"Q4981452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43d1d41a1ad1e12685617b8c9b95840fb38c42e","datavalue":{"value":{"amount":"+0.72312987","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":"Q3318773$B4BCDBF0-631D-4D16-8A2A-E949D783B2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f142913e65eae7836a59edd27f83cdc5b7db4a","datavalue":{"value":{"entity-type":"item","numeric-id":2804471,"id":"Q2804471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b423dd68daff9db6651e0fc6b6586fdec957c8a0","datavalue":{"value":{"amount":"+0.7194371","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":"Q3318773$1AF56503-499B-49E2-870F-1C3D25BE481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c35ca114a4f4f9cf18a6e31bf291657952b512d","datavalue":{"value":{"entity-type":"item","numeric-id":435242,"id":"Q435242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e131bb92ff75282fba5be484b026fa3334a682","datavalue":{"value":{"amount":"+0.7191546","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":"Q3318773$B1F1ABB8-B313-4124-847F-92AE4C92E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed3a6a12710792cf3fc040f80ce51b3d8ec4caa","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e4e6087f5f6fed45c6e3529b12c0f0365055f1","datavalue":{"value":{"amount":"+0.71748257","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":"Q3318773$7499B50F-B5DF-4D03-BE72-65C333EEBD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25583a8eb591ad097e0ca7876fc41f1f8bcb53c9","datavalue":{"value":{"entity-type":"item","numeric-id":1207341,"id":"Q1207341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fd53281d7f92e0c730b02fbbfeca223618e9fa","datavalue":{"value":{"amount":"+0.7166095","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":"Q3318773$5082011C-68D4-4D19-BFE2-22FFC84D6EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318773"}}}}}