{"entities":{"Q4340926":{"pageid":6370525,"ns":120,"title":"Item:Q4340926","lastrevid":96601157,"modified":"2026-06-05T11:43:07Z","type":"item","id":"Q4340926","labels":{"en":{"language":"en","value":"Strong representability of fork algebras, a set theoretic foundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1021715"}},"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":"Q4340926$BAEDFBB5-8664-4F5E-881B-048DDCD851AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"459f45a7887debdaf045953914f2e3e781778a1c","datavalue":{"value":{"text":"Strong representability of fork algebras, a set theoretic foundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340926$FC0BBC3A-2A4B-4158-8832-9EE3BB5149DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd7dab24fbfe633868b38b9404c00d15d4a815b","datavalue":{"value":"0877.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$AE1FC3A1-B47A-46D8-A712-FA8982AE5C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340926$3D92D7EB-FA3D-4117-9202-42D6B65F918A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6991958f62d12810c356bb621ebdfcd375c8bbf","datavalue":{"value":{"time":"+1997-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340926$385B9777-3231-4AEA-AF11-5D65C8B49183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$BE4C1711-B93A-414C-974B-24B1E31DBEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$AB249CA3-B704-4844-BFB3-34A7C9F3E53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$A42794DB-2A65-4545-AC02-F84615E32595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c5f9b2a57e57a6edb52c6ceebe28e03e720fc9","datavalue":{"value":"1021715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$C497357F-4162-438F-AEBD-C73BC73A4229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159fe06ba7197d498a9f480d3ea6c1e881b75c93","datavalue":{"value":"fork algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$9CCC8985-E8A7-409A-A311-077F3E64F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$B596A71A-945F-4411-80BB-925B7FA16F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5930f9ddcd5d6610c7bbdbd914d751dbf292cb","datavalue":{"value":"anti-foundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$0B0854B9-8DEC-4595-863A-29C7D2A3ECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$C2B2E7A6-FB21-4AF2-9404-BDDA4654357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$B0DBB48F-1D00-4E41-B3A8-DE17B0D270B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946b330c539b73e86b6b4e99442aadafd61cb259","datavalue":{"value":"fork operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$DBC70679-4F68-4F92-B8EE-A8712B074F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b6df5f0628124589d78640958147af2131eb59","datavalue":{"value":"finitization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$916CBE89-2014-49C7-B069-B619BD5EF6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e6123c877ae125532bb6ca53cb3fd2d2fe17a4","datavalue":{"value":"non-well-founded set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340926$C888965C-78FE-4F55-B84E-FA84B9BF8282","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":"Q4340926$71B50640-5E2A-4C05-BCF7-0DEA184F4F3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"051ad506d6cce94f7c5a7630fd122ec567ad89c0","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.1.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340926$92F27946-B4F4-4047-8873-89A58DFBE487","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa438fb12f79014ddfab2f6f08f77c8f602cbaf6","datavalue":{"value":"W1977062492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$33F9BB32-8617-4798-AA50-B83AFD0E2669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ef8546af8f4e77c2b1555d2a21aab24bd3241c7","datavalue":{"value":"10.1093/JIGPAL/5.1.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340926$B66F1695-9BCB-44F3-BD12-093643F47C85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340926$BA258766-EF77-4684-A1C8-25ADF3DCD7CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bde3fb9041e966a48b140e88ba008f4a58f281","datavalue":{"value":{"entity-type":"item","numeric-id":4250071,"id":"Q4250071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b288ee5e557357e0d8e7e5c492699e026d795d3","datavalue":{"value":{"amount":"+0.8964699506759644","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":"Q4340926$3035BC64-4D19-4942-B2EB-ED52E7310DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c090d02266b74958f05947201f59cf358acd9aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1389659,"id":"Q1389659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f555297d0f9b5765cdffaa2b00a051154fe49e51","datavalue":{"value":{"amount":"+0.8155653476715088","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":"Q4340926$082B3A86-1ABD-4833-9237-91EB721030A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276e1cac5b59b02be28a317379008ccc662ab013","datavalue":{"value":{"entity-type":"item","numeric-id":4860653,"id":"Q4860653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1a652b1bb1d7a4ecc3178ea27bcb2e99070865","datavalue":{"value":{"amount":"+0.8054488897323608","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":"Q4340926$0B53B4FC-3A15-43BA-9825-74DD4629B989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af385379e48b5c3d852a852452a6f75124345c7","datavalue":{"value":{"entity-type":"item","numeric-id":4870556,"id":"Q4870556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591a9833a2685c9a3a6610e87229cb9f5c9ef4cf","datavalue":{"value":{"amount":"+0.8006178140640259","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":"Q4340926$8F4B64A4-6C58-4601-879E-AFE9A27345E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong representability of fork algebras, a set theoretic foundation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_representability_of_fork_algebras,_a_set_theoretic_foundation"}}}}}