{"entities":{"Q6116359":{"pageid":13250666,"ns":120,"title":"Item:Q6116359","lastrevid":38790809,"modified":"2024-12-16T12:03:42Z","type":"item","id":"Q6116359","labels":{"en":{"language":"en","value":"Eager Equality for Rational Number Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7713583"}},"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":"Q6116359$008E16C3-B4D5-414A-A3D6-FD8DD4D4A558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57a5b232d44cd716907e4239f43211960cd1deff","datavalue":{"value":{"text":"Eager Equality for Rational Number Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6116359$656906D4-D65F-46A8-B504-FA7829C35D81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6421daf7d9f4866092e3623e30d1b22b40b1217b","datavalue":{"value":"10.1145/3580365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116359$93EE50C9-0449-498A-9E32-F56E4224E53D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$33270CC7-0C2C-4785-A6D8-0F5C3DCAB65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$01E462F1-DC21-4C5D-90BF-F5477845936B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$EA4F2A7D-A911-4AD6-82FA-A826023559B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91eb26ea12630bb083246dc3acb11b758e05ca65","datavalue":{"value":{"time":"+2023-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6116359$302498C2-2F48-412C-8A1E-7855517514A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116359$98544BA2-1CE5-4552-91F9-4CD080517DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116359$DC66FCA0-CF0B-4172-9304-8A6EA377C4B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5334e13ae7a26af23b1ad193f07d8f0f9af7cee9","datavalue":{"value":"7713583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116359$C3398B90-D1A3-4F74-B97D-199B35EEBDEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538a94fdd259d2465d50a0dc5cfaf67b7749522e","datavalue":{"value":"partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$591EE2F4-EFF6-4419-9C5F-6CEB53E9667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73fe02e736db737913c1cc881d9d0b415a6330c","datavalue":{"value":"eager equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$56252D56-A4B6-4B1A-A1AC-FB5086F2A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fbb2cdf599777c136ec389cb617ba1a64028b13","datavalue":{"value":"Kleene equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$1FB74DDC-6CE8-4F85-BD7C-546988C93837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53578783813753a243250c1fd81d19a5d0ac8e7","datavalue":{"value":"cautious equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$E4708225-BF6F-4690-9894-AD072475C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3dcd8d9d1322540727dd781e4a62d127f2005e4","datavalue":{"value":"common meadow","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$E2600020-82AF-4072-95B4-242CF4B60D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f8babd42ae0875b9ee92f34039ceb3f815b662","datavalue":{"value":"wheels","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$56A43DEA-4586-4017-95FC-C1CD411C8F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1d6aa22dd0db3d059f5cf27668396397dce127","datavalue":{"value":"transrationals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$EB7F707F-1DA4-45B8-A94A-A805974DA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e214636fb1391409da975085267743b7261717a","datavalue":{"value":"fracterm calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$E5779F91-D4E7-46F6-938D-760FA0DF0866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df65b51d33f5cfe57295030ea82dbf613a3d5165","datavalue":{"value":"flattening","type":"string"},"datatype":"string"},"type":"statement","id":"Q6116359$F9CBCEED-3B86-4AFC-9E18-996AF81F229B","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":"Q6116359$67011980-9771-488A-B172-5DF01FFF3412","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bb0ca10705524faf431cfac758b1bad8cd3ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5756767,"id":"Q5756767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$A728F366-60EE-4C78-A049-EF33FC526963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c442af5ab1071fe049c433e6a80c9003528e8a43","datavalue":{"value":{"entity-type":"item","numeric-id":3813851,"id":"Q3813851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$2DB1BFE1-31DF-41CB-8CDD-68DE438ABE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76bb169f504668e48fdee0cccf434bfe1d5dba8","datavalue":{"value":{"entity-type":"item","numeric-id":1006649,"id":"Q1006649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$51F5C123-FCB0-4678-8C8A-CA3577AC3E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a3b05609f2c34ecb49f68e579a6966c66edf8d","datavalue":{"value":{"entity-type":"item","numeric-id":301374,"id":"Q301374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$E3E7A0E1-14A0-45B8-87DA-D2FA1DA84751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b69710ca07de230af55746d2d731a7045643","datavalue":{"value":{"entity-type":"item","numeric-id":5256337,"id":"Q5256337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$6226A964-8DB0-4429-B4EC-A280C44061CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf7f34ad3732d1570db0051e22fd45cfa676a0","datavalue":{"value":{"entity-type":"item","numeric-id":297980,"id":"Q297980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$4DAF7A5D-EBDF-4165-9DCD-CD062017D993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d65be84223c027e63b60533ae4e2d805151739f","datavalue":{"value":{"entity-type":"item","numeric-id":2182665,"id":"Q2182665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$7B6AB1A8-FAF4-49A6-91E1-AC7ED2A6E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbc3dd2cddbb12d8ecddda57804558fe6c972e5","datavalue":{"value":{"entity-type":"item","numeric-id":3546326,"id":"Q3546326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$8C777C32-2105-41A2-9924-AD0722273C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892534d201f72fd10f8311f82c60531ce36dd506","datavalue":{"value":{"entity-type":"item","numeric-id":2237335,"id":"Q2237335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$94F48E03-A343-45FB-80E4-D53ABD2A652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09329737bd118fad4b4a518b49859da62b395a21","datavalue":{"value":{"entity-type":"item","numeric-id":4463992,"id":"Q4463992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$740F4C9D-AB2D-4A01-B27E-2427592293B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949e520d8d26a6b0fc34f6fef9937198078a0d0f","datavalue":{"value":{"entity-type":"item","numeric-id":6104576,"id":"Q6104576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$F3944F6D-F1C3-479D-9D99-90C803D183CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$FE06CD27-6921-4542-BD91-564B039D677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df8358e73b9dabbb280b801074bff4bd2fbd75","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$0E847A40-5205-4139-8B21-86C4599ED66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b327d4946abbf43f456d66269ecccc387857a80","datavalue":{"value":{"entity-type":"item","numeric-id":1845753,"id":"Q1845753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$814AB8BA-213F-4DF8-ABD5-EDCFA7282BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dada7ade7212f26d23d31c0364cb11b77fa03644","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$2A8A87B5-3D30-4390-B7C4-E4FDE7F1AAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$7785EE33-DAB2-468C-9FC2-95B91FE9B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562cb9925283a8d810045d6d68a9a7cbd9a0fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4160889,"id":"Q4160889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$4F2620F9-34FE-4562-A504-12B0FBBFA19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36730d6a5b1d73352dfe9807474e5da986ded24","datavalue":{"value":{"entity-type":"item","numeric-id":1170235,"id":"Q1170235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$F2BB618B-EE88-4578-ADEA-98A014150C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0585acb31595d6a980522f7f86737ea179f8f52","datavalue":{"value":{"entity-type":"item","numeric-id":4737473,"id":"Q4737473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$136EC61E-EA9A-44FC-9C5A-1C58605BD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c1fb05eac526139e526f8220e445ca5894270f","datavalue":{"value":{"entity-type":"item","numeric-id":3588162,"id":"Q3588162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$1B1ECC09-6148-4A35-B6EC-7BA6B4C64F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd4766c9807e174232a37c19c6c5d60ac971e3","datavalue":{"value":{"entity-type":"item","numeric-id":3478389,"id":"Q3478389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$D050B87D-E30A-4D19-8B9C-46B69F71E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047801a3eb9db5343f4e4b583e26c5eafb278e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1054760,"id":"Q1054760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$CA61BDC6-6ABA-4CA6-BD08-B236084A6308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$3E3207D8-8D95-425F-BA3C-4504546C682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c010a7f2937ccbc804d7a6eb403758e4b3b4eb36","datavalue":{"value":{"entity-type":"item","numeric-id":4934287,"id":"Q4934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$E63A2A00-1211-43C5-902F-B219BF39CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116359$929AD60A-0880-48FE-8A4E-416B47F897F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cbe69cc787b98c8e233b6b2dc9a565c40842c29","datavalue":{"value":"Q130963395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116359$05D87168-8314-41A4-BBF0-56CE810A71A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6116359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6116359"}}}}}