{"entities":{"Q4451737":{"pageid":6481336,"ns":120,"title":"Item:Q4451737","lastrevid":48243967,"modified":"2026-01-04T02:25:03Z","type":"item","id":"Q4451737","labels":{"en":{"language":"en","value":"Frege's unofficial arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048413"}},"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":"Q4451737$51588CCB-5D14-418D-8C7D-F80671CD2386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"087002c26c54639458588d442f858cba843f3c58","datavalue":{"value":{"text":"Frege's unofficial arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4451737$EC9FB5A4-87BE-461B-8D18-0946B58F6263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f23ab1dd917a07414952c28c6ee0aea7a5cbddcc","datavalue":{"value":"1041.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451737$A0A75986-8101-433E-A8BA-FDC938C46269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1252d672b3615a11b6f4ca21b30c771204a6202","datavalue":{"value":{"entity-type":"item","numeric-id":701291,"id":"Q701291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$E8C117CD-3E6C-4A9F-9FE9-24DC1DD1269F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$586988F1-17CD-4381-9DD2-5CC58FD0682A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4451737$CDA5E586-DE6D-4159-B8AA-D67BD9F80CCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a02ec73c4ced4a062aa43421066c3a9c2a6164d5","datavalue":{"value":"https://semanticscholar.org/paper/217d1836aa331dc5d7c9d3ce6459dc7293ff6e69","type":"string"},"datatype":"url"},"type":"statement","id":"Q4451737$07955FC5-84B6-4003-8F04-EF56F30FAC2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451737$DAC7EC75-E0FB-4EDF-A645-0C9536CBB5B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d733328e895899e7982147acfe7a56da43ab606d","datavalue":{"value":"2048413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451737$A756E1B6-8E63-44D0-B559-98C93BAEF8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943dc323b6cd98341540d650b960d06e79776040","datavalue":{"value":"second-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451737$7FF68146-4E0F-4408-9086-A84A04394294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3addb49bad5b3e141c58d68fff8fa07fc6e75b90","datavalue":{"value":"completeness theorem for applied arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451737$855290FD-6330-481A-B65D-0658A8795640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4451737$102756B0-ABF3-46AC-BC26-C2627CF33B7E","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":"Q4451737$EFAE2D38-A0FD-40B9-A876-249A66C88A01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e37ad07c285aa5e60f8e9bbcba39c873a16d6868","datavalue":{"value":"W2082688019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451737$EC58B061-5E8C-421B-A22A-A28AE714278C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0446100a1e85ad15665e9f29562ccbe4846df4a","datavalue":{"value":{"entity-type":"item","numeric-id":3037386,"id":"Q3037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$A25B85B2-23AA-47D9-9D8B-5EC014F16B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5dab45988a9ea801560c085d19e0d4f7e40925","datavalue":{"value":{"entity-type":"item","numeric-id":1202499,"id":"Q1202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$7F1493E0-01ED-4AFC-A48B-7E81FA3241B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7004c2dfe2eea7ffccb43aed8eec602796dbea2","datavalue":{"value":{"entity-type":"item","numeric-id":4539489,"id":"Q4539489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$4802F775-8A4A-42A8-9B73-9B194AFF1B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d8fb2734b27742a47595dc94caad35801f9a84","datavalue":{"value":{"entity-type":"item","numeric-id":5275534,"id":"Q5275534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4451737$302DF6B4-A58A-4A5D-BED2-7FEC9E1FCFA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b341b0ecb5f25a1f1cd7b1752477f73b246d379a","datavalue":{"value":"10.2178/JSL/1190150304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4451737$16066E2E-BEA6-43B2-B3B5-2A72ED8C90A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daff3785ba441d2b5e7c422d020a9f3505a2c85c","datavalue":{"value":{"entity-type":"item","numeric-id":766295,"id":"Q766295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678eac8ca78057376ca4f1417afed73a51a6e4c0","datavalue":{"value":{"amount":"+0.7146157622337341","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":"Q4451737$21438D9C-0736-4AEC-B61F-FAA76AB05E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5649cb6762d721611515d96553ecea2f3cf06d","datavalue":{"value":{"entity-type":"item","numeric-id":4678937,"id":"Q4678937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdaaac2a0034598d1a153663875de28a5f29de2","datavalue":{"value":{"amount":"+0.7126697897911072","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":"Q4451737$502844A0-DE7F-4529-B5F5-1095840509C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f74c2db6562d7bf942f3c79813489801a00d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4304145,"id":"Q4304145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80015ad9236501a5d0f235f216dc8cbe5da4846b","datavalue":{"value":{"amount":"+0.7104300856590271","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":"Q4451737$C7CE3BF0-E810-4804-BF07-9A25EB606260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d948dd8d1ca47bd2bf06d50d6d4c3cc5c7a3c","datavalue":{"value":{"entity-type":"item","numeric-id":813411,"id":"Q813411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdbfa2e961d27395c977617c787416378267792","datavalue":{"value":{"amount":"+0.7034281492233276","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":"Q4451737$120BBFA1-C8F4-4EFD-B66B-9C8E99976D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8589b0de53ef93a9e29031c81f06029483c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b700f27b83e97b9af4c6324a6edda3ca2b7d54d","datavalue":{"value":{"amount":"+0.7005183696746826","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":"Q4451737$4A38090C-DD38-40AF-B7CA-AE0203B398C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4451737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4451737"}}}}}