{"entities":{"Q5878899":{"pageid":7908450,"ns":120,"title":"Item:Q5878899","lastrevid":101977928,"modified":"2026-06-06T03:14:21Z","type":"item","id":"Q5878899","labels":{"en":{"language":"en","value":"Diophantine equations, Presburger arithmetic and finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656664"}},"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":"Q5878899$6F0A75C7-95A5-44A0-8B65-A1F0E104554F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0df22840ca4fced12e70afe1df7ec2b5aeb4909d","datavalue":{"value":{"text":"Diophantine equations, Presburger arithmetic and finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878899$2C9AB3CF-A6B4-4B27-9985-85DFF8E9882C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4c4c88909b300eb6a28939d632d0e4e2d9e6af8","datavalue":{"value":"10.1007/3-540-61064-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$23F440DF-E128-412B-A47B-85A66C928995","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"788ac89b31e2c7aaa535692b5b9e6f1abe572f70","datavalue":{"value":{"entity-type":"item","numeric-id":582072,"id":"Q582072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$B039CB1E-9B03-4C21-B0C1-05D9E657E971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$F78E2AC6-F8B0-404C-9B78-9528ADF61A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$E82EABF9-B344-4B58-B093-C5FFF4098562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878899$A0C989CC-58CA-4F1C-8C20-42C8DA803019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$A3E77F91-5409-45B0-9218-DD56F3DFCA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$EB0C24A6-278D-4CC8-826C-BB9FF2E4D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$33C3A238-04FD-4657-9B77-5C21C73A0B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$1F2F710D-6B07-4233-A50D-8D73B5D98D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$6D762679-11EF-474D-9CAC-408AB0510A8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c934d431e684ed69c8b4c59fe1f6105f3058ea42","datavalue":{"value":"7656664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$5C256B9C-361C-43E2-9999-A43C294BD0BE","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":"Q5878899$4373FB0B-B76C-45AD-9AA9-B523CF45EDBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4dc6ab913bbbcdb9e2cc70d7d03843aa3bfcee1","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878899$519346DB-E4D9-4968-A63A-A3798691EF4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9759cfb4f4bfe8a7183fd6ad83d7f83da1a32d96","datavalue":{"value":"W1540012118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878899$9B385C1B-B67F-4473-A48A-C289A7EAFF44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$6BBE638A-B704-47AE-93FA-D3A1C7CA81DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb08f06c41f5975360234b48d06eee1288d4114","datavalue":{"value":{"entity-type":"item","numeric-id":1333281,"id":"Q1333281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$77787595-D3E2-46C1-A6DD-C2104568D068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$0900438C-EFDF-4492-9889-73787A5D89D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaadc581f1889f5a25b9794a77af10f6ac4d02d8","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$46E7895C-AE7B-4AEA-8673-C244525BC94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$B64D6B9C-C47D-4C95-8B51-EE665C6FA478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878899$5EEB7006-AE05-4759-915A-3B9E9A3528FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b032d882fe36574046896dc7402e14b8854099","datavalue":{"value":{"entity-type":"item","numeric-id":2411018,"id":"Q2411018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e065fd7907902e7ed3090a042707dd248e9015a2","datavalue":{"value":{"amount":"+0.846382737159729","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":"Q5878899$B3C370D6-EBD9-420B-9FA4-312CCF196E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf2751dc854583a477a51856d1c87f35b972b56","datavalue":{"value":{"entity-type":"item","numeric-id":2068135,"id":"Q2068135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd13d4a0fdec8f9d53dcdb1c7eb8a6ddaf8b4695","datavalue":{"value":{"amount":"+0.7232391834259033","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":"Q5878899$5DE1E2E8-6698-4EF1-B35B-6B75A926F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c45616c40e19f38a25901d869e550b39591bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4011431,"id":"Q4011431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0002216a1c9ff77c9abb3aa95b09e831b81b26","datavalue":{"value":{"amount":"+0.7211065888404846","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":"Q5878899$93CB9864-F846-46DA-8401-55347D5D870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af0edfb38fac4a64e379c98866cfb97f2a50c73","datavalue":{"value":{"entity-type":"item","numeric-id":3031133,"id":"Q3031133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b83c4c794215e8858c042ea23f2e0a07ce2413","datavalue":{"value":{"amount":"+0.7204895615577698","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":"Q5878899$4CB86771-69D5-444C-BBF4-E5EC49991C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b581c9c9fd9a7fa45473c6e84c86acaaf04b97e","datavalue":{"value":{"entity-type":"item","numeric-id":3333208,"id":"Q3333208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657841fe01bec64d48a350dbf19b560109c04ac5","datavalue":{"value":{"amount":"+0.7053501605987549","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":"Q5878899$9BF22B82-2BB6-46A4-95BD-31DBF4CE6281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diophantine equations, Presburger arithmetic and finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diophantine_equations,_Presburger_arithmetic_and_finite_automata"}}}}}